Index of /gnewsense/pool/main/c/coq

      Name                                       Last modified      Size  Description
      Parent Directory                                                -   
      coq_8.2.pl2+dfsg-1.debian.tar.gz           2010-07-02 16:19   16K  
      coq_8.2.pl2+dfsg-1.dsc                     2010-07-02 16:19  2.1K  
      coq_8.2.pl2+dfsg-1_amd64.deb               2010-07-02 16:19   15M  
      libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb  2010-07-02 16:19  5.8M  
      coq-theories_8.2.pl2+dfsg-1_all.deb        2010-07-02 16:19   18M  
      coq_8.2.pl2+dfsg.orig.tar.gz               2010-07-02 16:19  3.0M  
      coqide_8.2.pl2+dfsg-1_amd64.deb            2010-07-02 16:19  6.2M  
      coq_8.2.pl2+dfsg-1_i386.deb                2010-07-02 18:03   13M  
      coqide_8.2.pl2+dfsg-1_i386.deb             2010-07-02 18:03  5.7M  
      libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb   2010-07-02 18:03  5.7M  
      coq_8.2.pl2+dfsg-1_mipsel.deb              2010-07-03 07:32  3.5M  
      coqide_8.2.pl2+dfsg-1_mipsel.deb           2010-07-03 07:32  2.3M  
      libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb 2010-07-03 07:32  1.9M  
      coq_8.3.pl4+dfsg.orig.tar.gz               2012-03-27 08:02  3.0M  
      coq-theories_8.3.pl4+dfsg-2_all.deb        2012-06-06 07:32   52M  
      coq_8.3.pl4+dfsg-2.debian.tar.gz           2012-06-06 07:32   16K  
      coq_8.3.pl4+dfsg-2.dsc                     2012-06-06 07:32  2.3K  
      coq_8.3.pl4+dfsg-2_amd64.deb               2012-06-06 07:32  5.4M  
      coqide_8.3.pl4+dfsg-2_amd64.deb            2012-06-06 07:32  5.4M  
      libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb  2012-06-06 07:32  5.6M  
      libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb      2012-06-06 07:32  2.0M  
      coq_8.3.pl4+dfsg-2_i386.deb                2012-06-06 08:32  4.8M  
      coqide_8.3.pl4+dfsg-2_i386.deb             2012-06-06 08:32  5.0M  
      libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb   2012-06-06 08:32  5.5M  
      libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb       2012-06-06 08:32  1.8M  
      coq_8.3.pl4+dfsg-2_mipsel.deb              2012-06-06 13:32  1.7M  
      coqide_8.3.pl4+dfsg-2_mipsel.deb           2012-06-06 13:32  2.4M  
      libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb 2012-06-06 13:32  2.4M  
      libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb     2012-06-06 13:32  521K