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

../
libwhy3-ocaml-dev_0.87.1-2build1_amd64.deb         02-Sep-2016 22:17      4M
libwhy3-ocaml-dev_0.87.1-2build1_i386.deb          02-Sep-2016 22:19      4M
libwhy3-ocaml-dev_0.87.3-2_amd64.deb               22-Jan-2017 19:33      4M
libwhy3-ocaml-dev_0.87.3-2_i386.deb                22-Jan-2017 19:33      4M
libwhy3-ocaml-dev_0.87.3-2ubuntu3_amd64.deb        19-Sep-2017 04:43      4M
libwhy3-ocaml-dev_0.87.3-2ubuntu3_i386.deb         19-Sep-2017 04:44      4M
libwhy3-ocaml-dev_0.87.3-2ubuntu4_amd64.deb        29-Oct-2017 01:03      5M
libwhy3-ocaml-dev_0.87.3-2ubuntu4_i386.deb         29-Oct-2017 01:03      5M
why3-coq_0.87.1-2build1_amd64.deb                  02-Sep-2016 22:17      5M
why3-coq_0.87.1-2build1_i386.deb                   02-Sep-2016 22:19      5M
why3-coq_0.87.3-2_amd64.deb                        22-Jan-2017 19:33      5M
why3-coq_0.87.3-2_i386.deb                         22-Jan-2017 19:33      5M
why3-coq_0.87.3-2ubuntu3_amd64.deb                 19-Sep-2017 04:43      5M
why3-coq_0.87.3-2ubuntu3_i386.deb                  19-Sep-2017 04:44      5M
why3-coq_0.87.3-2ubuntu4_amd64.deb                 29-Oct-2017 01:03      5M
why3-coq_0.87.3-2ubuntu4_i386.deb                  29-Oct-2017 01:03      5M
why3-doc-html_0.87.1-2build1_all.deb               02-Sep-2016 22:17    568K
why3-doc-html_0.87.3-2_all.deb                     22-Jan-2017 19:33    577K
why3-doc-html_0.87.3-2ubuntu3_all.deb              19-Sep-2017 04:43    576K
why3-doc-html_0.87.3-2ubuntu4_all.deb              29-Oct-2017 01:03    576K
why3-doc-pdf_0.87.1-2build1_all.deb                02-Sep-2016 22:17      1M
why3-doc-pdf_0.87.3-2_all.deb                      22-Jan-2017 19:33      1M
why3-doc-pdf_0.87.3-2ubuntu3_all.deb               19-Sep-2017 04:43      1M
why3-doc-pdf_0.87.3-2ubuntu4_all.deb               29-Oct-2017 01:03      1M
why3-examples_0.87.1-2build1_all.deb               02-Sep-2016 22:17      2M
why3-examples_0.87.3-2_all.deb                     22-Jan-2017 19:33      2M
why3-examples_0.87.3-2ubuntu3_all.deb              19-Sep-2017 04:43      2M
why3-examples_0.87.3-2ubuntu4_all.deb              29-Oct-2017 01:03      2M
why3_0.87.1-2build1.debian.tar.xz                  02-Sep-2016 22:15     12K
why3_0.87.1-2build1.dsc                            02-Sep-2016 22:15    2616
why3_0.87.1-2build1_amd64.deb                      02-Sep-2016 22:17     11M
why3_0.87.1-2build1_i386.deb                       02-Sep-2016 22:19      8M
why3_0.87.1.orig.tar.gz                            09-Jun-2016 13:54      4M
why3_0.87.3-2.debian.tar.xz                        22-Jan-2017 19:13     12K
why3_0.87.3-2.dsc                                  22-Jan-2017 19:13    2613
why3_0.87.3-2_amd64.deb                            22-Jan-2017 19:33     11M
why3_0.87.3-2_i386.deb                             22-Jan-2017 19:33      8M
why3_0.87.3-2ubuntu3.debian.tar.xz                 19-Sep-2017 04:43     13K
why3_0.87.3-2ubuntu3.dsc                           19-Sep-2017 04:43    2706
why3_0.87.3-2ubuntu3_amd64.deb                     19-Sep-2017 04:43     20M
why3_0.87.3-2ubuntu3_i386.deb                      19-Sep-2017 04:44     13M
why3_0.87.3-2ubuntu4.debian.tar.xz                 29-Oct-2017 00:19     13K
why3_0.87.3-2ubuntu4.dsc                           29-Oct-2017 00:19    2688
why3_0.87.3-2ubuntu4_amd64.deb                     29-Oct-2017 01:03     21M
why3_0.87.3-2ubuntu4_i386.deb                      29-Oct-2017 01:03     13M
why3_0.87.3.orig.tar.gz                            22-Jan-2017 19:13      4M