../ apron_0.9.10-5.2.debian.tar.gz 18-Apr-2012 23:34 10797 apron_0.9.10-5.2.dsc 18-Apr-2012 23:34 2098 apron_0.9.10.orig.tar.gz 18-Apr-2012 23:34 934321 libapron-dev_0.9.10-5.2_all.deb 19-Apr-2012 06:11 197276 libapron-ocaml-dev_0.9.10-5.2_armhf.deb 04-May-2012 16:16 2956112 libapron-ocaml_0.9.10-5.2_armhf.deb 04-May-2012 16:16 70122 libapron_0.9.10-5.2_armhf.deb 04-May-2012 16:16 613318