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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
alt-ergo_0.95.2-1build1.debian.tar.gz11.7 KiB2013-Dec-23 22:58
alt-ergo_0.95.2-1build1.dsc1.6 KiB2013-Dec-23 22:58
alt-ergo_0.95.2-1build1_amd64.deb1.5 MiB2013-Dec-23 22:58
alt-ergo_0.95.2-1build1_i386.deb1.3 MiB2013-Dec-23 22:58
alt-ergo_0.95.2.orig.tar.gz228.3 KiB2013-Nov-17 23:18
alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz12.5 KiB2016-Feb-12 12:24
alt-ergo_0.99.1+dfsg1-4build3.dsc2.2 KiB2016-Feb-12 12:24
alt-ergo_0.99.1+dfsg1-4build3_amd64.deb1.9 MiB2016-Feb-12 12:26
alt-ergo_0.99.1+dfsg1-4build3_i386.deb1.8 MiB2016-Feb-12 12:26
alt-ergo_0.99.1+dfsg1.orig.tar.gz217.7 KiB2015-May-06 12:14
alt-ergo_1.30+dfsg1-1.debian.tar.xz14.3 KiB2017-Dec-21 23:08
alt-ergo_1.30+dfsg1-1.dsc2.2 KiB2017-Dec-21 23:08
alt-ergo_1.30+dfsg1-1_amd64.deb3.0 MiB2017-Dec-21 23:24
alt-ergo_1.30+dfsg1-1_i386.deb2.4 MiB2017-Dec-21 23:24
alt-ergo_1.30+dfsg1.orig.tar.gz258.0 KiB2017-Dec-21 23:08
alt-ergo_2.0.0-5build1.debian.tar.xz7.0 KiB2020-Feb-21 15:48
alt-ergo_2.0.0-5build1.dsc2.3 KiB2020-Feb-21 15:48
alt-ergo_2.0.0-5build1_amd64.deb3.9 MiB2020-Feb-21 15:53
alt-ergo_2.0.0-8build1.debian.tar.xz7.3 KiB2022-Jan-26 12:40
alt-ergo_2.0.0-8build1.dsc2.1 KiB2022-Jan-26 12:40
alt-ergo_2.0.0-8build1_amd64.deb2.3 MiB2022-Jan-26 18:34
alt-ergo_2.0.0.orig.tar.gz345.2 KiB2019-Feb-14 05:08
alt-ergo_2.4.2-2.debian.tar.xz6.9 KiB2022-Aug-07 05:13
alt-ergo_2.4.2-2.dsc2.2 KiB2022-Aug-07 05:13
alt-ergo_2.4.2-2_amd64.deb17.1 MiB2022-Aug-07 05:33
alt-ergo_2.4.2.orig.tar.gz2.8 MiB2022-Aug-06 23:19
libalt-ergo-ocaml-dev_0.95.2-1build1_amd64.deb701.3 KiB2013-Dec-23 22:58
libalt-ergo-ocaml-dev_0.95.2-1build1_i386.deb701.1 KiB2013-Dec-23 22:58