../ apron_0.9.10-5.2.debian.tar.gz 10-Apr-2011 10:02 10797 apron_0.9.10-5.2.dsc 10-Apr-2011 10:02 2098 apron_0.9.10.orig.tar.gz 16-Nov-2009 22:47 934321 libapron-dev_0.9.10-5.2_all.deb 10-Apr-2011 10:02 197276 libapron-ocaml-dev_0.9.10-5.2+b3_amd64.deb 02-Nov-2011 08:47 3413038 libapron-ocaml_0.9.10-5.2+b3_amd64.deb 02-Nov-2011 08:47 89074 libapron_0.9.10-5.2+b3_amd64.deb 02-Nov-2011 08:47 692624