Index of /ubuntu/pool/universe/c/coq/

Filename	Modified	Size	Type
[Parent Directory]	-	-	-
coqide_8.11.0-1_amd64.deb	06/03/20 08:3806/03/20	1.7 MiB	[Save][Download]
coq-theories_8.11.0-1_amd64.deb	06/03/20 08:3806/03/20	31.5 MiB	[Save][Download]
coqide_8.15.0+dfsg-2_amd64.deb	05/02/22 23:5105/02/22	2.3 MiB	[Save][Download]
coq-theories_8.4pl3dfsg-1_all.deb	19/01/14 23:5819/01/14	30.5 MiB	[Save][Download]
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb	05/02/22 23:5105/02/22	42.9 MiB	[Save][Download]
coq-theories_8.4pl4dfsg-3build2_all.deb	04/11/15 14:0404/11/15	30.7 MiB	[Save][Download]
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb	20/11/24 18:4820/11/24	25.5 MiB	[Save][Download]
coq-theories_8.6-5build1_amd64.deb	28/10/17 15:3428/10/17	31.6 MiB	[Save][Download]
coq-theories_8.6-5build1_i386.deb	28/10/17 15:3428/10/17	30.7 MiB	[Save][Download]
libcoq-ocaml_8.11.0-1_amd64.deb	06/03/20 08:3806/03/20	6 MiB	[Save][Download]
coq_8.11.0-1.debian.tar.xz	06/03/20 07:5306/03/20	30.9 KiB	[Save][Download]
coq_8.11.0-1.dsc	06/03/20 07:5306/03/20	2.4 KiB	[Save][Download]
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb	19/01/14 23:5819/01/14	1.5 MiB	[Save][Download]
coq_8.11.0-1_amd64.deb	06/03/20 08:3806/03/20	73 MiB	[Save][Download]
libcoq-ocaml_8.4pl3dfsg-1_i386.deb	19/01/14 23:5819/01/14	1.4 MiB	[Save][Download]
coq_8.11.0.orig.tar.gz	06/03/20 07:5306/03/20	5.6 MiB	[Save][Download]
coq_8.20.0+dfsg.orig.tar.xz	20/11/24 18:4720/11/24	4.8 MiB	[Save][Download]
coq_8.15.0+dfsg-2.debian.tar.xz	05/02/22 17:4905/02/22	38.7 KiB	[Save][Download]
libcoq-ocaml_8.6-5build1_amd64.deb	28/10/17 15:3428/10/17	3.4 MiB	[Save][Download]
coq_8.15.0+dfsg-2.dsc	05/02/22 17:4905/02/22	2.5 KiB	[Save][Download]
libcoq-ocaml_8.6-5build1_i386.deb	28/10/17 15:3428/10/17	3.2 MiB	[Save][Download]
coq_8.15.0+dfsg-2_amd64.deb	05/02/22 23:5205/02/22	91 MiB	[Save][Download]
coq_8.19.1+dfsg.orig.tar.bz2	02/05/24 11:5302/05/24	5.3 MiB	[Save][Download]
coq_8.15.0+dfsg.orig.tar.xz	17/01/22 23:1417/01/22	4.5 MiB	[Save][Download]
coqide_8.4pl3dfsg-1_amd64.deb	19/01/14 23:5819/01/14	727 KiB	[Save][Download]
coqide_8.18.0+dfsg-1build2_amd64.deb	31/03/24 19:3231/03/24	2.2 MiB	[Save][Download]
coqide_8.20.0+dfsg-1_amd64.deb	20/11/24 18:4820/11/24	2.1 MiB	[Save][Download]
coq_8.20.0+dfsg-1_amd64.deb	20/11/24 18:4820/11/24	85.9 MiB	[Save][Download]
coq_8.18.0+dfsg-1build2.dsc	31/03/24 18:3631/03/24	2.6 KiB	[Save][Download]
coq_8.19.1+dfsg-3build3.dsc	07/09/24 07:0807/09/24	2.5 KiB	[Save][Download]
coq_8.20.0+dfsg-1.dsc	20/11/24 18:4720/11/24	2.5 KiB	[Save][Download]
coq_8.6-5build1_i386.deb	28/10/17 15:3428/10/17	16.2 MiB	[Save][Download]
coq_8.18.0+dfsg.orig.tar.xz	22/12/23 19:4622/12/23	4.6 MiB	[Save][Download]
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb	05/02/22 23:5105/02/22	25.8 MiB	[Save][Download]
coq_8.6.orig.tar.gz	28/12/16 17:1328/12/16	4.8 MiB	[Save][Download]
coq_8.20.0+dfsg-1.debian.tar.xz	20/11/24 18:4720/11/24	29.5 KiB	[Save][Download]
coq_8.18.0+dfsg-1build2_amd64.deb	31/03/24 19:3231/03/24	91.5 MiB	[Save][Download]
coq_8.18.0+dfsg-1build2.debian.tar.xz	31/03/24 18:3631/03/24	32.6 KiB	[Save][Download]
coq_8.19.1+dfsg-3build3_amd64.deb	07/09/24 07:0907/09/24	96.1 MiB	[Save][Download]
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb	19/01/14 23:5819/01/14	3.5 MiB	[Save][Download]
coq_8.4pl3dfsg-1.debian.tar.xz	19/01/14 23:1819/01/14	15.4 KiB	[Save][Download]
coq_8.4pl3dfsg-1.dsc	19/01/14 23:1819/01/14	2.3 KiB	[Save][Download]
coqide_8.19.1+dfsg-3build3_amd64.deb	07/09/24 07:0907/09/24	2.3 MiB	[Save][Download]
coq_8.4pl3dfsg-1_amd64.deb	19/01/14 23:5819/01/14	3.9 MiB	[Save][Download]
coq_8.4pl3dfsg-1_i386.deb	19/01/14 23:5819/01/14	3.6 MiB	[Save][Download]
coq_8.4pl3dfsg.orig.tar.gz	19/01/14 23:1819/01/14	3.4 MiB	[Save][Download]
libcoq-ocaml-dev_8.11.0-1_amd64.deb	06/03/20 08:3806/03/20	15.3 MiB	[Save][Download]
coq_8.4pl4dfsg-3build2.debian.tar.xz	04/11/15 13:1404/11/15	15.8 KiB	[Save][Download]
coq_8.4pl4dfsg-3build2.dsc	04/11/15 13:1404/11/15	2.3 KiB	[Save][Download]
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb	19/01/14 23:5819/01/14	3.5 MiB	[Save][Download]
coq_8.4pl4dfsg-3build2_amd64.deb	04/11/15 14:0404/11/15	3.8 MiB	[Save][Download]
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb	04/11/15 13:3904/11/15	3.6 MiB	[Save][Download]
coq_8.4pl4dfsg-3build2_i386.deb	04/11/15 13:3904/11/15	3.6 MiB	[Save][Download]
coq_8.4pl4dfsg.orig.tar.gz	27/07/14 23:1327/07/14	3.4 MiB	[Save][Download]
libcoq-ocaml-dev_8.6-5build1_amd64.deb	28/10/17 15:3428/10/17	13.2 MiB	[Save][Download]
coq_8.6-5build1.debian.tar.xz	28/10/17 14:3928/10/17	21.4 KiB	[Save][Download]
coq_8.6-5build1.dsc	28/10/17 14:3928/10/17	2.3 KiB	[Save][Download]
coq_8.6-5build1_amd64.deb	28/10/17 15:3428/10/17	16.9 MiB	[Save][Download]
coqide_8.4pl3dfsg-1_i386.deb	19/01/14 23:5819/01/14	662 KiB	[Save][Download]
libcoq-ocaml-dev_8.6-5build1_i386.deb	28/10/17 15:3428/10/17	13.2 MiB	[Save][Download]
coqide_8.4pl4dfsg-3build2_amd64.deb	04/11/15 14:0404/11/15	731 KiB	[Save][Download]
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb	04/11/15 14:0404/11/15	1.4 MiB	[Save][Download]
coqide_8.4pl4dfsg-3build2_i386.deb	04/11/15 13:3904/11/15	695 KiB	[Save][Download]
coqide_8.6-5build1_amd64.deb	28/10/17 15:3428/10/17	1.5 MiB	[Save][Download]
coqide_8.6-5build1_i386.deb	28/10/17 15:3428/10/17	1.3 MiB	[Save][Download]
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb	04/11/15 14:0404/11/15	3.5 MiB	[Save][Download]
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb	04/11/15 13:3904/11/15	1.3 MiB	[Save][Download]
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb	05/02/22 23:5105/02/22	23.6 MiB	[Save][Download]
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb	07/09/24 07:0907/09/24	65.1 MiB	[Save][Download]
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb	31/03/24 19:3231/03/24	49 MiB	[Save][Download]
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb	31/03/24 19:3231/03/24	26.4 MiB	[Save][Download]
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb	31/03/24 19:3231/03/24	25.3 MiB	[Save][Download]
libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb	07/09/24 07:0907/09/24	24.8 MiB	[Save][Download]
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb	20/11/24 18:4820/11/24	67.1 MiB	[Save][Download]
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb	20/11/24 18:4820/11/24	25.7 MiB	[Save][Download]
coq_8.19.1+dfsg-3build3.debian.tar.xz	07/09/24 07:0807/09/24	32.2 KiB	[Save][Download]
libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb	07/09/24 07:0907/09/24	25.8 MiB	[Save][Download]