../ apron_0.9.10-5.2ubuntu4.debian.tar.gz 26-Dec-2014 22:16 10903 apron_0.9.10-5.2ubuntu4.dsc 26-Dec-2014 22:16 1747 apron_0.9.10.orig.tar.gz 26-Dec-2014 22:16 934321 libapron-dev_0.9.10-5.2ubuntu4_all.deb 26-Dec-2014 22:16 194636 libapron-ocaml-dev_0.9.10-5.2ubuntu4_i386.deb 26-Dec-2014 22:16 3619180 libapron-ocaml_0.9.10-5.2ubuntu4_i386.deb 26-Dec-2014 22:16 85194 libapron_0.9.10-5.2ubuntu4_i386.deb 26-Dec-2014 22:16 780744