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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-theories_8.11.0-1_amd64.deb2020-Mar-06 09:38:1931.5Mapplication/octet-stream
coq-theories_8.12.0-3build3_amd64.deb2020-Nov-28 11:13:4034.5Mapplication/octet-stream
coq-theories_8.3.pl4+dfsg-1_all.deb2012-Apr-03 13:04:0251.7Mapplication/octet-stream
coq-theories_8.4pl3dfsg-1_all.deb2014-Jan-20 00:58:4330.5Mapplication/octet-stream
coq-theories_8.4pl4dfsg-1_all.deb2014-Jul-28 01:53:4130.5Mapplication/octet-stream
coq-theories_8.4pl4dfsg-3build2_all.deb2015-Nov-04 15:04:3330.7Mapplication/octet-stream
coq-theories_8.5-2build1_amd64.deb2016-Jun-11 18:14:2231.3Mapplication/octet-stream
coq-theories_8.5-2build1_i386.deb2016-Jun-11 18:15:0430.3Mapplication/octet-stream
coq-theories_8.6-4_amd64.deb2016-Dec-30 07:03:3029.7Mapplication/octet-stream
coq-theories_8.6-4_i386.deb2016-Dec-30 07:03:3528.7Mapplication/octet-stream
coq-theories_8.6-5build1_amd64.deb2017-Oct-28 17:34:4031.6Mapplication/octet-stream
coq-theories_8.6-5build1_i386.deb2017-Oct-28 17:34:5230.6Mapplication/octet-stream
coq_8.11.0-1.debian.tar.xz2020-Mar-06 08:53:1730.9Kapplication/octet-stream
coq_8.11.0-1.dsc2020-Mar-06 08:53:162.4Kapplication/octet-stream
coq_8.11.0-1_amd64.deb2020-Mar-06 09:38:1873.0Mapplication/octet-stream
coq_8.11.0.orig.tar.gz2020-Mar-06 08:53:175.5Mapplication/x-gzip
coq_8.12.0-3build3.debian.tar.xz2020-Nov-28 10:28:3537.0Kapplication/octet-stream
coq_8.12.0-3build3.dsc2020-Nov-28 10:28:352.4Kapplication/octet-stream
coq_8.12.0-3build3_amd64.deb2020-Nov-28 11:13:4186.3Mapplication/octet-stream
coq_8.12.0.orig.tar.gz2020-Sep-15 10:23:385.7Mapplication/x-gzip
coq_8.15.0+dfsg-2.debian.tar.xz2022-Feb-05 18:49:5338.7Kapplication/octet-stream
coq_8.15.0+dfsg-2.dsc2022-Feb-05 18:49:532.5Kapplication/octet-stream
coq_8.15.0+dfsg-2_amd64.deb2022-Feb-06 00:52:0090.9Mapplication/octet-stream
coq_8.15.0+dfsg.orig.tar.xz2022-Jan-18 00:14:254.4Mapplication/octet-stream
coq_8.3.pl4+dfsg-1.debian.tar.gz2012-Apr-03 12:33:5415.9Kapplication/x-gzip
coq_8.3.pl4+dfsg-1.dsc2012-Apr-03 12:33:552.2Kapplication/octet-stream
coq_8.3.pl4+dfsg-1_amd64.deb2012-Apr-03 13:34:275.3Mapplication/octet-stream
coq_8.3.pl4+dfsg-1_i386.deb2012-Apr-03 13:04:214.7Mapplication/octet-stream
coq_8.3.pl4+dfsg.orig.tar.gz2012-Apr-03 12:33:543.0Mapplication/x-gzip
coq_8.4pl3dfsg-1.debian.tar.xz2014-Jan-20 00:18:5215.4Kapplication/octet-stream
coq_8.4pl3dfsg-1.dsc2014-Jan-20 00:18:532.3Kapplication/octet-stream
coq_8.4pl3dfsg-1_amd64.deb2014-Jan-20 00:58:453.8Mapplication/octet-stream
coq_8.4pl3dfsg-1_i386.deb2014-Jan-20 00:58:553.5Mapplication/octet-stream
coq_8.4pl3dfsg.orig.tar.gz2014-Jan-20 00:18:533.3Mapplication/x-gzip
coq_8.4pl4dfsg-1.debian.tar.xz2014-Jul-28 01:13:1715.3Kapplication/octet-stream
coq_8.4pl4dfsg-1.dsc2014-Jul-28 01:13:172.3Kapplication/octet-stream
coq_8.4pl4dfsg-1_amd64.deb2014-Jul-28 01:53:353.8Mapplication/octet-stream
coq_8.4pl4dfsg-1_i386.deb2014-Jul-28 01:53:463.5Mapplication/octet-stream
coq_8.4pl4dfsg-3build2.debian.tar.xz2015-Nov-04 14:14:2115.7Kapplication/octet-stream
coq_8.4pl4dfsg-3build2.dsc2015-Nov-04 14:14:212.3Kapplication/octet-stream
coq_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 15:04:343.8Mapplication/octet-stream
coq_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 14:39:443.5Mapplication/octet-stream
coq_8.4pl4dfsg.orig.tar.gz2014-Jul-28 01:13:173.3Mapplication/x-gzip
coq_8.5-2build1.debian.tar.xz2016-Jun-11 17:14:0216.3Kapplication/octet-stream
coq_8.5-2build1.dsc2016-Jun-11 17:13:592.4Kapplication/octet-stream
coq_8.5-2build1_amd64.deb2016-Jun-11 18:14:2212.9Mapplication/octet-stream
coq_8.5-2build1_i386.deb2016-Jun-11 18:15:0411.9Mapplication/octet-stream
coq_8.5.orig.tar.gz2016-Jan-27 00:09:334.6Mapplication/x-gzip
coq_8.6-4.debian.tar.xz2016-Dec-30 06:19:5221.4Kapplication/octet-stream
coq_8.6-4.dsc2016-Dec-30 06:19:492.3Kapplication/octet-stream
coq_8.6-4_amd64.deb2016-Dec-30 07:03:2813.2Mapplication/octet-stream
coq_8.6-4_i386.deb2016-Dec-30 07:03:3612.3Mapplication/octet-stream
coq_8.6-5build1.debian.tar.xz2017-Oct-28 16:39:2821.3Kapplication/octet-stream
coq_8.6-5build1.dsc2017-Oct-28 16:39:282.3Kapplication/octet-stream
coq_8.6-5build1_amd64.deb2017-Oct-28 17:34:4116.8Mapplication/octet-stream
coq_8.6-5build1_i386.deb2017-Oct-28 17:34:5116.1Mapplication/octet-stream
coq_8.6.orig.tar.gz2016-Dec-28 18:13:414.7Mapplication/x-gzip
coqide_8.11.0-1_amd64.deb2020-Mar-06 09:38:181.6Mapplication/octet-stream
coqide_8.12.0-3build3_amd64.deb2020-Nov-28 11:13:421.8Mapplication/octet-stream
coqide_8.15.0+dfsg-2_amd64.deb2022-Feb-06 00:51:532.2Mapplication/octet-stream
coqide_8.3.pl4+dfsg-1_amd64.deb2012-Apr-03 13:34:275.2Mapplication/octet-stream
coqide_8.3.pl4+dfsg-1_i386.deb2012-Apr-03 13:04:204.8Mapplication/octet-stream
coqide_8.4pl3dfsg-1_amd64.deb2014-Jan-20 00:58:45727.1Kapplication/octet-stream
coqide_8.4pl3dfsg-1_i386.deb2014-Jan-20 00:58:54661.6Kapplication/octet-stream
coqide_8.4pl4dfsg-1_amd64.deb2014-Jul-28 01:53:34726.4Kapplication/octet-stream
coqide_8.4pl4dfsg-1_i386.deb2014-Jul-28 01:53:46662.1Kapplication/octet-stream
coqide_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 15:04:31731.3Kapplication/octet-stream
coqide_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 14:39:44694.9Kapplication/octet-stream
coqide_8.5-2build1_amd64.deb2016-Jun-11 18:14:201.1Mapplication/octet-stream
coqide_8.5-2build1_i386.deb2016-Jun-11 18:15:060.9Mapplication/octet-stream
coqide_8.6-4_amd64.deb2016-Dec-30 07:03:281.2Mapplication/octet-stream
coqide_8.6-4_i386.deb2016-Dec-30 07:03:381.0Mapplication/octet-stream
coqide_8.6-5build1_amd64.deb2017-Oct-28 17:34:401.4Mapplication/octet-stream
coqide_8.6-5build1_i386.deb2017-Oct-28 17:34:511.3Mapplication/octet-stream
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb2022-Feb-06 00:51:5842.9Mapplication/octet-stream
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb2022-Feb-06 00:51:5625.8Mapplication/octet-stream
libcoq-ocaml-dev_8.11.0-1_amd64.deb2020-Mar-06 09:38:2115.3Mapplication/octet-stream
libcoq-ocaml-dev_8.12.0-3build3_amd64.deb2020-Nov-28 11:13:4217.8Mapplication/octet-stream
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb2012-Apr-03 13:34:275.5Mapplication/octet-stream
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb2012-Apr-03 13:04:185.4Mapplication/octet-stream
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb2014-Jan-20 00:58:433.5Mapplication/octet-stream
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb2014-Jan-20 00:58:553.4Mapplication/octet-stream
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2014-Jul-28 01:53:353.5Mapplication/octet-stream
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2014-Jul-28 01:53:453.5Mapplication/octet-stream
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 15:04:323.5Mapplication/octet-stream
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 14:39:453.5Mapplication/octet-stream
libcoq-ocaml-dev_8.5-2build1_amd64.deb2016-Jun-11 18:14:2112.7Mapplication/octet-stream
libcoq-ocaml-dev_8.5-2build1_i386.deb2016-Jun-11 18:15:0312.7Mapplication/octet-stream
libcoq-ocaml-dev_8.6-4_amd64.deb2016-Dec-30 07:03:2812.5Mapplication/octet-stream
libcoq-ocaml-dev_8.6-4_i386.deb2016-Dec-30 07:03:3412.5Mapplication/octet-stream
libcoq-ocaml-dev_8.6-5build1_amd64.deb2017-Oct-28 17:34:4013.1Mapplication/octet-stream
libcoq-ocaml-dev_8.6-5build1_i386.deb2017-Oct-28 17:34:5013.1Mapplication/octet-stream
libcoq-ocaml_8.11.0-1_amd64.deb2020-Mar-06 09:38:206.0Mapplication/octet-stream
libcoq-ocaml_8.12.0-3build3_amd64.deb2020-Nov-28 11:13:407.3Mapplication/octet-stream
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb2012-Apr-03 13:34:271.9Mapplication/octet-stream
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb2012-Apr-03 13:04:201.7Mapplication/octet-stream
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb2014-Jan-20 00:58:431.5Mapplication/octet-stream
libcoq-ocaml_8.4pl3dfsg-1_i386.deb2014-Jan-20 00:58:541.3Mapplication/octet-stream
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-Jul-28 01:53:351.5Mapplication/octet-stream
libcoq-ocaml_8.4pl4dfsg-1_i386.deb2014-Jul-28 01:53:451.3Mapplication/octet-stream
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 15:04:311.4Mapplication/octet-stream
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 14:39:441.3Mapplication/octet-stream
libcoq-ocaml_8.5-2build1_amd64.deb2016-Jun-11 18:14:233.2Mapplication/octet-stream
libcoq-ocaml_8.5-2build1_i386.deb2016-Jun-11 18:15:063.1Mapplication/octet-stream
libcoq-ocaml_8.6-4_amd64.deb2016-Dec-30 07:03:293.2Mapplication/octet-stream
libcoq-ocaml_8.6-4_i386.deb2016-Dec-30 07:03:363.1Mapplication/octet-stream
libcoq-ocaml_8.6-5build1_amd64.deb2017-Oct-28 17:34:393.4Mapplication/octet-stream
libcoq-ocaml_8.6-5build1_i386.deb2017-Oct-28 17:34:513.2Mapplication/octet-stream
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb2022-Feb-06 00:51:5823.5Mapplication/octet-stream
ISPpro Internet KG isppro.de | euserv.de | kos-online.de | keepfree.de