Index of /debian-archive/debian-backports/pool/main/c/coq

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-theories_8.3.pl3..> 16-Mar-2013 17:22   52M  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22   16K  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22  2.2K  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22  5.3M  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22  1.7M  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22  4.7M  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22  1.7M  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22  5.3M  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22  4.7M  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22  1.7M  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22  1.7M  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22  5.2M  
 coq_8.3.pl3+dfsg-1~b..> 16-Mar-2013 17:22  1.7M  
 coq_8.3.pl3+dfsg.ori..> 16-Mar-2013 17:22  3.0M  
 coqide_8.3.pl3+dfsg-..> 16-Mar-2013 17:22  5.3M  
 coqide_8.3.pl3+dfsg-..> 16-Mar-2013 17:22  2.4M  
 coqide_8.3.pl3+dfsg-..> 16-Mar-2013 17:22  4.9M  
 coqide_8.3.pl3+dfsg-..> 16-Mar-2013 17:22  2.4M  
 coqide_8.3.pl3+dfsg-..> 16-Mar-2013 17:22  5.3M  
 coqide_8.3.pl3+dfsg-..> 16-Mar-2013 17:22  4.9M  
 coqide_8.3.pl3+dfsg-..> 16-Mar-2013 17:22  2.4M  
 coqide_8.3.pl3+dfsg-..> 16-Mar-2013 17:22  2.4M  
 coqide_8.3.pl3+dfsg-..> 16-Mar-2013 17:22  5.3M  
 coqide_8.3.pl3+dfsg-..> 16-Mar-2013 17:22  2.4M  
 libcoq-ocaml-dev_8.3..> 16-Mar-2013 17:22  5.6M  
 libcoq-ocaml-dev_8.3..> 16-Mar-2013 17:22  2.4M  
 libcoq-ocaml-dev_8.3..> 16-Mar-2013 17:22  5.5M  
 libcoq-ocaml-dev_8.3..> 16-Mar-2013 17:22  2.4M  
 libcoq-ocaml-dev_8.3..> 16-Mar-2013 17:22  5.6M  
 libcoq-ocaml-dev_8.3..> 16-Mar-2013 17:22  5.4M  
 libcoq-ocaml-dev_8.3..> 16-Mar-2013 17:22  2.4M  
 libcoq-ocaml-dev_8.3..> 16-Mar-2013 17:22  2.4M  
 libcoq-ocaml-dev_8.3..> 16-Mar-2013 17:22  6.4M  
 libcoq-ocaml-dev_8.3..> 16-Mar-2013 17:22  2.4M  
 libcoq-ocaml_8.3.pl3..> 16-Mar-2013 17:22  2.0M  
 libcoq-ocaml_8.3.pl3..> 16-Mar-2013 17:22  522K  
 libcoq-ocaml_8.3.pl3..> 16-Mar-2013 17:22  1.8M  
 libcoq-ocaml_8.3.pl3..> 16-Mar-2013 17:22  523K  
 libcoq-ocaml_8.3.pl3..> 16-Mar-2013 17:22  2.0M  
 libcoq-ocaml_8.3.pl3..> 16-Mar-2013 17:22  1.8M  
 libcoq-ocaml_8.3.pl3..> 16-Mar-2013 17:22  519K  
 libcoq-ocaml_8.3.pl3..> 16-Mar-2013 17:22  518K  
 libcoq-ocaml_8.3.pl3..> 16-Mar-2013 17:22  2.0M  
 libcoq-ocaml_8.3.pl3..> 16-Mar-2013 17:22  519K