Index of /ubuntu/pool/universe/p/ppx-core

	Name	Last modified	Size	Description
	Parent Directory		-
	libppx-core-ocaml-dev_113.33.03-1_amd64.deb	2016-07-29 14:16	2.1M
	libppx-core-ocaml-dev_113.33.03-1_i386.deb	2016-07-29 14:17	2.1M
	libppx-core-ocaml-dev_113.33.03-1ubuntu1_amd64.deb	2017-07-14 15:28	2.1M
	libppx-core-ocaml-dev_113.33.03-1ubuntu1_i386.deb	2017-07-14 15:28	2.1M
	libppx-core-ocaml-dev_113.33.03-1ubuntu2_amd64.deb	2017-07-17 00:08	2.1M
	libppx-core-ocaml-dev_113.33.03-1ubuntu2_i386.deb	2017-07-17 00:08	2.1M
	libppx-core-ocaml_113.33.03-1_amd64.deb	2016-07-29 14:16	736K
	libppx-core-ocaml_113.33.03-1_i386.deb	2016-07-29 14:17	718K
	libppx-core-ocaml_113.33.03-1ubuntu1_amd64.deb	2017-07-14 15:28	798K
	libppx-core-ocaml_113.33.03-1ubuntu1_i386.deb	2017-07-14 15:28	771K
	libppx-core-ocaml_113.33.03-1ubuntu2_amd64.deb	2017-07-17 00:08	798K
	libppx-core-ocaml_113.33.03-1ubuntu2_i386.deb	2017-07-17 00:08	771K
	ppx-core_113.33.03-1.debian.tar.xz	2016-07-29 00:00	1.6K
	ppx-core_113.33.03-1.dsc	2016-07-29 00:00	2.1K
	ppx-core_113.33.03-1build1.debian.tar.xz	2017-07-03 12:38	1.8K
	ppx-core_113.33.03-1build1.dsc	2017-07-03 12:38	1.9K
	ppx-core_113.33.03-1ubuntu1.debian.tar.xz	2017-07-14 15:28	8.0K
	ppx-core_113.33.03-1ubuntu1.dsc	2017-07-14 15:28	1.9K
	ppx-core_113.33.03-1ubuntu2.debian.tar.xz	2017-07-17 00:08	8.1K
	ppx-core_113.33.03-1ubuntu2.dsc	2017-07-17 00:08	1.9K
	ppx-core_113.33.03-1ubuntu3.debian.tar.xz	2017-10-29 07:44	8.1K
	ppx-core_113.33.03-1ubuntu3.dsc	2017-10-29 07:44	2.2K
	ppx-core_113.33.03-1ubuntu4.debian.tar.xz	2017-10-29 11:48	33K
	ppx-core_113.33.03-1ubuntu4.dsc	2017-10-29 11:48	2.2K
	ppx-core_113.33.03.orig.tar.gz	2016-07-29 00:00	78K