Index of /debian/pool/main/w/why3/

../
libwhy3-ocaml-dev_0.87.1-1+b1_amd64.deb            10-Jun-2016 10:59             4652770
libwhy3-ocaml-dev_0.87.1-1+b1_armel.deb            10-Jun-2016 13:00             4786602
libwhy3-ocaml-dev_0.87.1-1+b1_i386.deb             10-Jun-2016 11:04             4649592
why3-coq_0.87.1-1+b1_amd64.deb                     10-Jun-2016 10:59             5142416
why3-coq_0.87.1-1+b1_armel.deb                     10-Jun-2016 13:00             5044162
why3-coq_0.87.1-1+b1_i386.deb                      10-Jun-2016 11:04             4989812
why3-doc-html_0.87.1-1_all.deb                     08-Jun-2016 20:01              723538
why3-doc-pdf_0.87.1-1_all.deb                      08-Jun-2016 20:01             1225044
why3-examples_0.87.1-1_all.deb                     08-Jun-2016 20:01             1749344
why3_0.87.1-1+b1_amd64.deb                         10-Jun-2016 10:59             8313502
why3_0.87.1-1+b1_armel.deb                         10-Jun-2016 13:00             7553018
why3_0.87.1-1+b1_i386.deb                          10-Jun-2016 11:04             8361960
why3_0.87.1-1.debian.tar.xz                        08-Jun-2016 19:11               11876
why3_0.87.1-1.dsc                                  08-Jun-2016 19:11                2536
why3_0.87.1.orig.tar.gz                            08-Jun-2016 19:11             4480316