| Parent directory/ | - | - |
| why3_0.87.3-2ubuntu3_amd64.deb | 20M | 2017-Sep-18 20:43 |
| why3_0.88.3-1ubuntu4_amd64.deb | 20M | 2018-Apr-07 02:19 |
| why3_0.87.3-2ubuntu3_i386.deb | 13M | 2017-Sep-18 20:44 |
| why3_0.88.3-1ubuntu4_i386.deb | 12M | 2018-Apr-07 02:19 |
| why3-coq_0.87.3-2ubuntu3_amd64.deb | 5M | 2017-Sep-18 20:43 |
| why3-coq_0.87.3-2ubuntu3_i386.deb | 5M | 2017-Sep-18 20:44 |
| libwhy3-ocaml-dev_0.87.3-2ubuntu3_amd64.deb | 4M | 2017-Sep-18 20:43 |
| libwhy3-ocaml-dev_0.87.3-2ubuntu3_i386.deb | 4M | 2017-Sep-18 20:44 |
| why3_0.87.3.orig.tar.gz | 4M | 2017-Jan-22 11:13 |
| why3_0.88.3.orig.tar.gz | 4M | 2018-Jan-30 10:34 |
| why3-coq_0.88.3-1ubuntu4_amd64.deb | 2M | 2018-Apr-07 02:19 |
| why3-coq_0.88.3-1ubuntu4_i386.deb | 2M | 2018-Apr-07 02:19 |
| libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb | 2M | 2018-Apr-07 02:19 |
| libwhy3-ocaml-dev_0.88.3-1ubuntu4_i386.deb | 2M | 2018-Apr-07 02:19 |
| why3-examples_0.87.3-2ubuntu3_all.deb | 2M | 2017-Sep-18 20:43 |
| why3-examples_0.88.3-1ubuntu4_all.deb | 2M | 2018-Apr-07 02:19 |
| why3-doc-pdf_0.88.3-1ubuntu4_all.deb | 1M | 2018-Apr-07 02:19 |
| why3-doc-pdf_0.87.3-2ubuntu3_all.deb | 1M | 2017-Sep-18 20:43 |
| why3-doc-html_0.87.3-2ubuntu3_all.deb | 576K | 2017-Sep-18 20:43 |
| why3-doc-html_0.88.3-1ubuntu4_all.deb | 355K | 2018-Apr-07 02:19 |
| why3_0.88.3-1ubuntu4.debian.tar.xz | 13K | 2018-Apr-07 02:19 |
| why3_0.87.3-2ubuntu3.debian.tar.xz | 13K | 2017-Sep-18 20:43 |
| why3_0.88.3-1ubuntu4.dsc | 2786 | 2018-Apr-07 02:19 |
| why3_0.87.3-2ubuntu3.dsc | 2706 | 2017-Sep-18 20:43 |