Index of /ubuntu/pool/universe/w/why3

Icon  Name                                        Last modified      Size  Description
[DIR] Parent Directory                                                 -   
[   ] why3_0.88.3.orig.tar.gz                     30-Jan-2018 05:34  4.0M  
[   ] why3_0.88.3-1ubuntu4.debian.tar.xz          06-Apr-2018 22:19   13K  
[TXT] why3_0.88.3-1ubuntu4.dsc                    06-Apr-2018 22:19  2.7K  
[   ] libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb 06-Apr-2018 22:19  1.8M  
[   ] why3-coq_0.88.3-1ubuntu4_amd64.deb          06-Apr-2018 22:19  2.0M  
[   ] why3-doc-html_0.88.3-1ubuntu4_all.deb       06-Apr-2018 22:19  355K  
[   ] why3-doc-pdf_0.88.3-1ubuntu4_all.deb        06-Apr-2018 22:19  1.2M  
[   ] why3-examples_0.88.3-1ubuntu4_all.deb       06-Apr-2018 22:19  1.5M  
[   ] why3_0.88.3-1ubuntu4_amd64.deb              06-Apr-2018 22:19   20M  
[   ] why3-coq_0.88.3-1ubuntu4_i386.deb           06-Apr-2018 22:19  1.8M  
[   ] why3_0.88.3-1ubuntu4_i386.deb               06-Apr-2018 22:19   12M  
[   ] libwhy3-ocaml-dev_0.88.3-1ubuntu4_i386.deb  06-Apr-2018 22:19  1.7M  
[   ] why3_0.88.3-3ubuntu1.debian.tar.xz          04-Jun-2018 10:18   14K  
[TXT] why3_0.88.3-3ubuntu1.dsc                    04-Jun-2018 10:18  2.6K  
[   ] libwhy3-ocaml-dev_0.88.3-3ubuntu1_amd64.deb 04-Jun-2018 10:18  1.8M  
[   ] why3-coq_0.88.3-3ubuntu1_amd64.deb          04-Jun-2018 10:18  2.0M  
[   ] why3-examples_0.88.3-3ubuntu1_all.deb       04-Jun-2018 10:18  1.5M  
[   ] why3-doc-html_0.88.3-3ubuntu1_all.deb       04-Jun-2018 10:18  355K  
[   ] why3-doc-pdf_0.88.3-3ubuntu1_all.deb        04-Jun-2018 10:18  1.2M  
[   ] why3_0.88.3-3ubuntu1_amd64.deb              04-Jun-2018 10:18   20M  
[   ] libwhy3-ocaml-dev_0.88.3-3ubuntu1_i386.deb  04-Jun-2018 10:28  1.7M  
[   ] why3-coq_0.88.3-3ubuntu1_i386.deb           04-Jun-2018 10:28  1.8M  
[   ] why3_0.88.3-3ubuntu1_i386.deb               04-Jun-2018 10:28   12M  
[   ] why3_1.2.0.orig.tar.gz                      16-Feb-2019 00:18  5.7M  
[   ] why3_1.2.0-2ubuntu1.debian.tar.xz           30-Aug-2019 02:43   18K  
[TXT] why3_1.2.0-2ubuntu1.dsc                     30-Aug-2019 02:43  2.6K  
[   ] libwhy3-ocaml-dev_1.2.0-2ubuntu1_amd64.deb  30-Aug-2019 02:43  7.4M  
[   ] why3-examples_1.2.0-2ubuntu1_all.deb        30-Aug-2019 02:43  2.3M  
[   ] why3-coq_1.2.0-2ubuntu1_amd64.deb           30-Aug-2019 02:43  569K  
[   ] why3-doc-pdf_1.2.0-2ubuntu1_all.deb         30-Aug-2019 02:43  1.2M  
[   ] why3_1.2.0-2ubuntu1_amd64.deb               30-Aug-2019 02:43   29M  
[   ] why3-doc-html_1.2.0-2ubuntu1_all.deb        30-Aug-2019 02:43  289K  
[   ] why3_1.2.0-2ubuntu1_i386.deb                30-Aug-2019 02:43   19M  
[   ] libwhy3-ocaml-dev_1.2.0-2ubuntu1_i386.deb   30-Aug-2019 02:43  7.1M  
[   ] why3-coq_1.2.0-2ubuntu1_i386.deb            30-Aug-2019 02:43  575K
Apache Server at 209.208.0.134 Port 80