Index of /nova/pool/extendido/w/why3/

../
libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb        11-Jun-2020 02:27             1854212
libwhy3-ocaml-dev_0.88.3-1ubuntu4_i386.deb         10-Jun-2020 17:27             1817604
libwhy3-ocaml-dev_1.2.1-6_amd64.deb                22-Jun-2020 11:59             7937692
why3-coq_0.88.3-1ubuntu4_amd64.deb                 10-Jun-2020 17:24             2112184
why3-coq_0.88.3-1ubuntu4_i386.deb                  11-Jun-2020 04:59             1900812
why3-coq_1.2.1-6_amd64.deb                         21-Jun-2020 19:03              582556
why3-doc-html_0.88.3-1ubuntu4_all.deb              11-Jun-2020 04:14              363148
why3-doc-html_1.2.1-6_all.deb                      22-Jun-2020 12:09              296720
why3-doc-pdf_0.88.3-1ubuntu4_all.deb               11-Jun-2020 02:36             1241428
why3-doc-pdf_1.2.1-6_all.deb                       22-Jun-2020 11:09             1261696
why3-examples_0.88.3-1ubuntu4_all.deb              11-Jun-2020 03:39             1616868
why3-examples_1.2.1-6_all.deb                      21-Jun-2020 18:30             2460588
why3_0.88.3-1ubuntu4.debian.tar.xz                 11-Jun-2020 02:25               13732
why3_0.88.3-1ubuntu4.dsc                           11-Jun-2020 02:25                2786
why3_0.88.3-1ubuntu4_amd64.deb                     11-Jun-2020 01:41            20802412
why3_0.88.3-1ubuntu4_i386.deb                      11-Jun-2020 05:13            12960992
why3_0.88.3.orig.tar.gz                            11-Jun-2020 02:25             4245737
why3_1.2.1-6.debian.tar.xz                         22-Jun-2020 08:31               23168
why3_1.2.1-6.dsc                                   22-Jun-2020 08:31                2774
why3_1.2.1-6_amd64.deb                             22-Jun-2020 11:17            30784616
why3_1.2.1.orig.tar.gz                             22-Jun-2020 08:31             6006383