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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
alt-ergo_2.0.0-5build1_arm64.deb 50796082020-Feb-22 00:58
alt-ergo_2.0.0-5build1_s390x.deb 47425482020-Feb-22 00:53
alt-ergo_2.0.0-5build1_ppc64el.deb 45678362020-Feb-22 00:53
alt-ergo_1.30+dfsg1-1_arm64.deb 39752362017-Dec-22 08:24
alt-ergo_1.30+dfsg1-1_ppc64el.deb 36654762017-Dec-22 08:24
alt-ergo_1.30+dfsg1-1_s390x.deb 36223962017-Dec-22 08:25
alt-ergo_2.0.0-8build1_arm64.deb 29223582022-Jan-27 04:44
alt-ergo_2.0.0-8build1_s390x.deb 26723962022-Jan-27 03:35
alt-ergo_2.0.0-8build1_ppc64el.deb 26644022022-Jan-27 03:34
alt-ergo_2.0.0-8build1_riscv64.deb 25686442022-Jan-27 07:34
alt-ergo_1.30+dfsg1-1_armhf.deb 25187162017-Dec-22 08:24
alt-ergo_0.99.1+dfsg1-4build3_arm64.deb 20114702016-Feb-12 21:26
alt-ergo_0.99.1+dfsg1-4build3_armhf.deb 20113582016-Feb-12 21:26
alt-ergo_0.99.1+dfsg1-4build3_powerpc.deb 17925922016-Feb-12 21:27
alt-ergo_0.95.2-1build1_armhf.deb 16089222013-Dec-24 07:58
alt-ergo_0.95.2-1build1_powerpc.deb 13720722013-Dec-24 08:13
libalt-ergo-ocaml-dev_0.95.2-1build1_armhf.deb 8733862013-Dec-24 07:58
libalt-ergo-ocaml-dev_0.95.2-1build1_powerpc.deb 7798082013-Dec-24 08:13
alt-ergo_2.0.0-5build1_riscv64.deb 4074922020-Apr-05 22:33
alt-ergo_2.0.0.orig.tar.gz 3534882019-Feb-14 14:08
alt-ergo_0.99.1+dfsg1-4build3_ppc64el.deb 3357342016-Feb-12 21:27
alt-ergo_0.99.1+dfsg1-4build3_s390x.deb 3356322016-Feb-12 21:27
alt-ergo_0.95.2-1build1_ppc64el.deb 2913382014-Feb-18 08:03
alt-ergo_0.95.2-1build1_arm64.deb 2912822013-Dec-24 08:13
alt-ergo_1.30+dfsg1.orig.tar.gz 2642242017-Dec-22 08:08
alt-ergo_0.95.2.orig.tar.gz 2337782013-Nov-18 08:18
alt-ergo_0.99.1+dfsg1.orig.tar.gz 2228942015-May-06 21:14
libalt-ergo-ocaml-dev_0.95.2-1build1_arm64.deb 1576662013-Dec-24 08:13
libalt-ergo-ocaml-dev_0.95.2-1build1_ppc64el.deb 1576102014-Feb-18 08:03
alt-ergo_1.30+dfsg1-1.debian.tar.xz 146722017-Dec-22 08:08
alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz 127922016-Feb-12 21:24
alt-ergo_0.95.2-1build1.debian.tar.gz 119532013-Dec-24 07:58
alt-ergo_2.0.0-8build1.debian.tar.xz 74482022-Jan-26 21:40
alt-ergo_2.0.0-5build1.debian.tar.xz 71402020-Feb-22 00:48
alt-ergo_2.0.0-5build1.dsc 23852020-Feb-22 00:48
alt-ergo_1.30+dfsg1-1.dsc 22892017-Dec-22 08:08
alt-ergo_0.99.1+dfsg1-4build3.dsc 22562016-Feb-12 21:24
alt-ergo_2.0.0-8build1.dsc 21872022-Jan-26 21:40
alt-ergo_0.95.2-1build1.dsc 16182013-Dec-24 07:58