Index of /trisquel/pool/main/c/coq

Icon  Name                                    Last modified      Size  
[PARENTDIR] Parent Directory                                             -   
[   ] coq-theories_8.4pl3dfsg-1_all.deb       2014-01-19 23:58   30M  
[   ] coq_8.2.pl1+dfsg-2.diff.gz              2009-07-28 19:13   14K  
[TXT] coq_8.2.pl1+dfsg-2.dsc                  2009-07-28 19:13  1.6K  
[   ] coq_8.2.pl1+dfsg-6.diff.gz              2010-02-27 16:04   15K  
[TXT] coq_8.2.pl1+dfsg-6.dsc                  2010-02-27 16:04  2.2K  
[   ] coq_8.2.pl1+dfsg.orig.tar.gz            2009-07-28 19:13  3.0M  
[   ] coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz 2010-09-18 18:05   17K  
[TXT] coq_8.2.pl2+dfsg-1ubuntu1.dsc           2010-09-18 18:05  1.5K  
[   ] coq_8.2.pl2+dfsg.orig.tar.gz            2010-07-27 19:05  3.0M  
[   ] coq_8.3.pl2+dfsg-1build1.debian.tar.gz  2011-08-25 05:04   16K  
[TXT] coq_8.3.pl2+dfsg-1build1.dsc            2011-08-25 05:04  1.5K  
[   ] coq_8.3.pl2+dfsg.orig.tar.gz            2011-05-19 15:05  3.0M  
[   ] coq_8.3.pl4+dfsg-1.debian.tar.gz        2012-04-03 10:33   16K  
[TXT] coq_8.3.pl4+dfsg-1.dsc                  2012-04-03 10:33  2.3K  
[   ] coq_8.3.pl4+dfsg.orig.tar.gz            2012-04-03 10:33  3.0M  
[   ] coq_8.4pl3dfsg-1.debian.tar.xz          2014-01-19 23:18   15K  
[TXT] coq_8.4pl3dfsg-1.dsc                    2014-01-19 23:18  2.3K  
[   ] coq_8.4pl3dfsg-1_amd64.deb              2014-01-19 23:58  3.9M  
[   ] coq_8.4pl3dfsg-1_i386.deb               2014-01-19 23:58  3.6M  
[   ] coq_8.4pl3dfsg.orig.tar.gz              2014-01-19 23:18  3.4M  
[   ] coqide_8.4pl3dfsg-1_amd64.deb           2014-01-19 23:58  727K  
[   ] coqide_8.4pl3dfsg-1_i386.deb            2014-01-19 23:58  662K  
[   ] libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb 2014-01-19 23:58  3.5M  
[   ] libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb  2014-01-19 23:58  3.5M  
[   ] libcoq-ocaml_8.4pl3dfsg-1_amd64.deb     2014-01-19 23:58  1.5M  
[   ] libcoq-ocaml_8.4pl3dfsg-1_i386.deb      2014-01-19 23:58  1.4M