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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
alt-ergo_0.95.2-1build1.dsc1.6 KiB2013-Dec-23 22:58
alt-ergo_2.0.0-8build1.dsc2.1 KiB2022-Jan-26 12:40
alt-ergo_0.99.1+dfsg1-4build3.dsc2.2 KiB2016-Feb-12 12:24
alt-ergo_2.4.2-2.dsc2.2 KiB2022-Aug-07 05:13
alt-ergo_1.30+dfsg1-1.dsc2.2 KiB2017-Dec-21 23:08
alt-ergo_2.0.0-5build1.dsc2.3 KiB2020-Feb-21 15:48
alt-ergo_2.4.2-2.debian.tar.xz6.9 KiB2022-Aug-07 05:13
alt-ergo_2.0.0-5build1.debian.tar.xz7.0 KiB2020-Feb-21 15:48
alt-ergo_2.0.0-8build1.debian.tar.xz7.3 KiB2022-Jan-26 12:40
alt-ergo_0.95.2-1build1.debian.tar.gz11.7 KiB2013-Dec-23 22:58
alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz12.5 KiB2016-Feb-12 12:24
alt-ergo_1.30+dfsg1-1.debian.tar.xz14.3 KiB2017-Dec-21 23:08
libalt-ergo-ocaml-dev_0.95.2-1build1_ppc64el.deb153.9 KiB2014-Feb-17 23:03
libalt-ergo-ocaml-dev_0.95.2-1build1_arm64.deb154.0 KiB2013-Dec-23 23:13
alt-ergo_0.99.1+dfsg1.orig.tar.gz217.7 KiB2015-May-06 12:14
alt-ergo_0.95.2.orig.tar.gz228.3 KiB2013-Nov-17 23:18
alt-ergo_1.30+dfsg1.orig.tar.gz258.0 KiB2017-Dec-21 23:08
alt-ergo_0.95.2-1build1_arm64.deb284.5 KiB2013-Dec-23 23:13
alt-ergo_0.95.2-1build1_ppc64el.deb284.5 KiB2014-Feb-17 23:03
alt-ergo_0.99.1+dfsg1-4build3_s390x.deb327.8 KiB2016-Feb-12 12:27
alt-ergo_0.99.1+dfsg1-4build3_ppc64el.deb327.9 KiB2016-Feb-12 12:27
alt-ergo_2.0.0.orig.tar.gz345.2 KiB2019-Feb-14 05:08
alt-ergo_2.0.0-5build1_riscv64.deb397.9 KiB2020-Apr-05 13:33
libalt-ergo-ocaml-dev_0.95.2-1build1_powerpc.deb761.5 KiB2013-Dec-23 23:13
libalt-ergo-ocaml-dev_0.95.2-1build1_armhf.deb852.9 KiB2013-Dec-23 22:58
alt-ergo_0.95.2-1build1_powerpc.deb1.3 MiB2013-Dec-23 23:13
alt-ergo_0.95.2-1build1_armhf.deb1.5 MiB2013-Dec-23 22:58
alt-ergo_0.99.1+dfsg1-4build3_powerpc.deb1.7 MiB2016-Feb-12 12:27
alt-ergo_0.99.1+dfsg1-4build3_armhf.deb1.9 MiB2016-Feb-12 12:26
alt-ergo_0.99.1+dfsg1-4build3_arm64.deb1.9 MiB2016-Feb-12 12:26
alt-ergo_1.30+dfsg1-1_armhf.deb2.4 MiB2017-Dec-21 23:24
alt-ergo_2.0.0-8build1_riscv64.deb2.4 MiB2022-Jan-26 22:34
alt-ergo_2.0.0-8build1_ppc64el.deb2.5 MiB2022-Jan-26 18:34
alt-ergo_2.0.0-8build1_s390x.deb2.5 MiB2022-Jan-26 18:35
alt-ergo_2.4.2.orig.tar.gz2.8 MiB2022-Aug-06 23:19
alt-ergo_2.0.0-8build1_arm64.deb2.8 MiB2022-Jan-26 19:44
alt-ergo_1.30+dfsg1-1_s390x.deb3.5 MiB2017-Dec-21 23:25
alt-ergo_1.30+dfsg1-1_ppc64el.deb3.5 MiB2017-Dec-21 23:24
alt-ergo_1.30+dfsg1-1_arm64.deb3.8 MiB2017-Dec-21 23:24
alt-ergo_2.0.0-5build1_ppc64el.deb4.4 MiB2020-Feb-21 15:53
alt-ergo_2.0.0-5build1_s390x.deb4.5 MiB2020-Feb-21 15:53
alt-ergo_2.0.0-5build1_arm64.deb4.8 MiB2020-Feb-21 15:58
alt-ergo_2.4.2-2_armhf.deb17.0 MiB2022-Aug-07 05:33
alt-ergo_2.4.2-2_s390x.deb17.2 MiB2022-Aug-07 05:33
alt-ergo_2.4.2-2_riscv64.deb17.5 MiB2022-Aug-07 06:13
alt-ergo_2.4.2-2_ppc64el.deb17.5 MiB2022-Aug-07 05:33
alt-ergo_2.4.2-2_arm64.deb17.9 MiB2022-Aug-07 05:33