Index of /ubuntu/pool/universe/a/alt-ergo/

File NameFile SizeDate
Parent directory/--
alt-ergo_0.95.2-1build1.debian.tar.gz 12K23-Dec-2013 22:58
alt-ergo_0.95.2-1build1.dsc 161823-Dec-2013 22:58
alt-ergo_0.95.2-1build1_amd64.deb 2M23-Dec-2013 22:58
alt-ergo_0.95.2-1build1_i386.deb 1M23-Dec-2013 22:58
alt-ergo_0.95.2.orig.tar.gz 228K17-Nov-2013 23:18
alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz 12K12-Feb-2016 12:24
alt-ergo_0.99.1+dfsg1-4build3.dsc 225612-Feb-2016 12:24
alt-ergo_0.99.1+dfsg1-4build3_amd64.deb 2M12-Feb-2016 12:26
alt-ergo_0.99.1+dfsg1-4build3_i386.deb 2M12-Feb-2016 12:26
alt-ergo_0.99.1+dfsg1.orig.tar.gz 218K06-May-2015 12:14
alt-ergo_1.30+dfsg1-1.debian.tar.xz 14K21-Dec-2017 23:08
alt-ergo_1.30+dfsg1-1.dsc 228921-Dec-2017 23:08
alt-ergo_1.30+dfsg1-1_amd64.deb 3M21-Dec-2017 23:24
alt-ergo_1.30+dfsg1-1_i386.deb 2M21-Dec-2017 23:24
alt-ergo_1.30+dfsg1.orig.tar.gz 258K21-Dec-2017 23:08
alt-ergo_2.0.0-5build1.debian.tar.xz 714021-Feb-2020 15:48
alt-ergo_2.0.0-5build1.dsc 238521-Feb-2020 15:48
alt-ergo_2.0.0-5build1_amd64.deb 4M21-Feb-2020 15:53
alt-ergo_2.0.0-8build1.debian.tar.xz 744826-Jan-2022 12:40
alt-ergo_2.0.0-8build1.dsc 218726-Jan-2022 12:40
alt-ergo_2.0.0-8build1_amd64.deb 2M26-Jan-2022 18:34
alt-ergo_2.0.0.orig.tar.gz 345K14-Feb-2019 05:08
libalt-ergo-ocaml-dev_0.95.2-1build1_amd64.deb 701K23-Dec-2013 22:58
libalt-ergo-ocaml-dev_0.95.2-1build1_i386.deb 701K23-Dec-2013 22:58