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]
coq-theories_8.6-5build1_amd64.deb	28/10/17 15:3428/10/17	31.6 MiB	[Save][Download]
coqide_8.16.1+dfsg-1build2_amd64.deb	16/02/23 10:5816/02/23	2.2 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]
coqide_8.17.0+dfsg-1build1_amd64.deb	24/07/23 17:3724/07/23	2.2 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]
coq_8.18.0+dfsg-1build2.dsc	31/03/24 18:3631/03/24	2.6 KiB	[Save][Download]
coq_8.6-5build1_i386.deb	28/10/17 15:3428/10/17	16.2 MiB	[Save][Download]
coq_8.16.1+dfsg-1build2.debian.tar.xz	16/02/23 10:0616/02/23	32.5 KiB	[Save][Download]
coq_8.18.0+dfsg.orig.tar.xz	22/12/23 19:4622/12/23	4.6 MiB	[Save][Download]
coq_8.16.1+dfsg-1build2.dsc	16/02/23 10:0616/02/23	2.6 KiB	[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.16.1+dfsg-1build2_amd64.deb	16/02/23 10:5816/02/23	104 MiB	[Save][Download]
coq_8.19.1+dfsg-2.debian.tar.xz	15/06/24 11:1815/06/24	32.1 KiB	[Save][Download]
coq_8.16.1+dfsg.orig.tar.xz	29/11/22 17:2429/11/22	4.5 MiB	[Save][Download]
coq_8.6.orig.tar.gz	28/12/16 17:1328/12/16	4.8 MiB	[Save][Download]
coq_8.17.0+dfsg-1build1.debian.tar.xz	24/07/23 17:3724/07/23	32.4 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.17.0+dfsg-1build1.dsc	24/07/23 17:3724/07/23	2.6 KiB	[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.17.0+dfsg-1build1_amd64.deb	24/07/23 17:3724/07/23	88.7 MiB	[Save][Download]
coq_8.19.1+dfsg-2_amd64.deb	15/06/24 11:5815/06/24	91.2 MiB	[Save][Download]
coq_8.17.0+dfsg.orig.tar.xz	12/06/23 18:0112/06/23	4.6 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]
coq_8.19.1+dfsg-2.dsc	15/06/24 11:1815/06/24	2.3 KiB	[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]
coqide_8.19.1+dfsg-2_amd64.deb	15/06/24 11:5815/06/24	2.2 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-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb	16/02/23 10:5816/02/23	47.2 MiB	[Save][Download]
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb	24/07/23 17:3724/07/23	47.6 MiB	[Save][Download]
libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb	16/02/23 10:5816/02/23	25.7 MiB	[Save][Download]
libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb	24/07/23 17:3724/07/23	26 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-stdlib_8.16.1+dfsg-1build2_amd64.deb	16/02/23 10:5816/02/23	23.4 MiB	[Save][Download]
libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb	24/07/23 17:3724/07/23	27.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-dev_8.19.1+dfsg-2_amd64.deb	15/06/24 11:5815/06/24	49.5 MiB	[Save][Download]
libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb	15/06/24 11:5815/06/24	26.1 MiB	[Save][Download]
libcoq-stdlib_8.19.1+dfsg-2_amd64.deb	15/06/24 11:5815/06/24	25.8 MiB	[Save][Download]