../ why3-coq_0.87.0-1_armhf.deb 02-Apr-2016 10:08 729534 why3-doc-html_0.87.0-1_all.deb 20-Mar-2016 20:24 724748 why3-doc-pdf_0.87.0-1_all.deb 20-Mar-2016 20:24 1214396 why3-examples_0.87.0-1_all.deb 20-Mar-2016 20:24 1749446 why3_0.87.0-1.debian.tar.xz 20-Mar-2016 20:24 10068 why3_0.87.0-1.dsc 20-Mar-2016 20:24 2351 why3_0.87.0-1_armhf.deb 02-Apr-2016 10:08 6221140 why3_0.87.0.orig.tar.gz 20-Mar-2016 20:24 4459479