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

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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
alt-ergo_0.95.2-1build1.debian.tar.gz11.7 KiB23 Dec 2013 22:58:28 +0000
alt-ergo_0.95.2-1build1.dsc1.6 KiB23 Dec 2013 22:58:28 +0000
alt-ergo_0.95.2-1build1_arm64.deb284.5 KiB23 Dec 2013 23:13:40 +0000
alt-ergo_0.95.2-1build1_armhf.deb1.5 MiB23 Dec 2013 22:58:40 +0000
alt-ergo_0.95.2-1build1_powerpc.deb1.3 MiB23 Dec 2013 23:13:59 +0000
alt-ergo_0.95.2-1build1_ppc64el.deb284.5 KiB17 Feb 2014 23:03:40 +0000
alt-ergo_0.95.2.orig.tar.gz228.3 KiB17 Nov 2013 23:18:24 +0000
alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz12.5 KiB12 Feb 2016 12:24:14 +0000
alt-ergo_0.99.1+dfsg1-4build3.dsc2.2 KiB12 Feb 2016 12:24:14 +0000
alt-ergo_0.99.1+dfsg1-4build3_arm64.deb1.9 MiB12 Feb 2016 12:26:37 +0000
alt-ergo_0.99.1+dfsg1-4build3_armhf.deb1.9 MiB12 Feb 2016 12:26:48 +0000
alt-ergo_0.99.1+dfsg1-4build3_powerpc.deb1.7 MiB12 Feb 2016 12:27:12 +0000
alt-ergo_0.99.1+dfsg1-4build3_ppc64el.deb327.9 KiB12 Feb 2016 12:27:28 +0000
alt-ergo_0.99.1+dfsg1-4build3_s390x.deb327.8 KiB12 Feb 2016 12:27:44 +0000
alt-ergo_0.99.1+dfsg1.orig.tar.gz217.7 KiB06 May 2015 12:14:09 +0000
alt-ergo_1.30+dfsg1-1.debian.tar.xz14.3 KiB21 Dec 2017 23:08:21 +0000
alt-ergo_1.30+dfsg1-1.dsc2.2 KiB21 Dec 2017 23:08:20 +0000
alt-ergo_1.30+dfsg1-1_arm64.deb3.8 MiB21 Dec 2017 23:24:17 +0000
alt-ergo_1.30+dfsg1-1_armhf.deb2.4 MiB21 Dec 2017 23:24:25 +0000
alt-ergo_1.30+dfsg1-1_ppc64el.deb3.5 MiB21 Dec 2017 23:24:51 +0000
alt-ergo_1.30+dfsg1-1_s390x.deb3.5 MiB21 Dec 2017 23:25:01 +0000
alt-ergo_1.30+dfsg1.orig.tar.gz258.0 KiB21 Dec 2017 23:08:20 +0000
alt-ergo_2.0.0-5build1.debian.tar.xz7.0 KiB21 Feb 2020 15:48:18 +0000
alt-ergo_2.0.0-5build1.dsc2.3 KiB21 Feb 2020 15:48:18 +0000
alt-ergo_2.0.0-5build1_arm64.deb4.8 MiB21 Feb 2020 15:58:17 +0000
alt-ergo_2.0.0-5build1_ppc64el.deb4.4 MiB21 Feb 2020 15:53:22 +0000
alt-ergo_2.0.0-5build1_riscv64.deb397.9 KiB05 Apr 2020 13:33:28 +0000
alt-ergo_2.0.0-5build1_s390x.deb4.5 MiB21 Feb 2020 15:53:22 +0000
alt-ergo_2.0.0-8build1.debian.tar.xz7.3 KiB26 Jan 2022 12:40:05 +0000
alt-ergo_2.0.0-8build1.dsc2.1 KiB26 Jan 2022 12:40:05 +0000
alt-ergo_2.0.0-8build1_arm64.deb2.8 MiB26 Jan 2022 19:44:11 +0000
alt-ergo_2.0.0-8build1_ppc64el.deb2.5 MiB26 Jan 2022 18:34:54 +0000
alt-ergo_2.0.0-8build1_riscv64.deb2.4 MiB26 Jan 2022 22:34:25 +0000
alt-ergo_2.0.0-8build1_s390x.deb2.5 MiB26 Jan 2022 18:35:01 +0000
alt-ergo_2.0.0.orig.tar.gz345.2 KiB14 Feb 2019 05:08:16 +0000
libalt-ergo-ocaml-dev_0.95.2-1build1_arm64.deb154.0 KiB23 Dec 2013 23:13:40 +0000
libalt-ergo-ocaml-dev_0.95.2-1build1_armhf.deb852.9 KiB23 Dec 2013 22:58:40 +0000
libalt-ergo-ocaml-dev_0.95.2-1build1_powerpc.deb761.5 KiB23 Dec 2013 23:13:58 +0000
libalt-ergo-ocaml-dev_0.95.2-1build1_ppc64el.deb153.9 KiB17 Feb 2014 23:03:40 +0000