Index of /debian/pool/main/a/alt-ergo
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
alt-ergo_0.95.2-3.debian.tar.xz 2014-04-27 17:01 11K
![[TXT]](/icons/text.gif)
alt-ergo_0.95.2-3.dsc 2014-04-27 17:01 2.2K
alt-ergo_0.95.2-3_amd64.deb 2014-04-27 17:01 1.5M
alt-ergo_0.95.2-3_i386.deb 2014-04-27 17:56 1.4M
![[ ]](/icons/compressed.gif)
alt-ergo_0.95.2.orig.tar.gz 2013-11-17 09:07 228K
alt-ergo_1.30-1.debian.tar.xz 2016-12-12 14:53 14K
alt-ergo_1.30-1.dsc 2016-12-12 14:53 2.2K
alt-ergo_1.30-1_amd64.deb 2016-12-12 16:43 2.3M
alt-ergo_1.30-1_arm64.deb 2016-12-12 16:59 2.3M
alt-ergo_1.30-1_i386.deb 2016-12-12 16:43 2.1M
alt-ergo_1.30.orig.tar.gz 2016-12-12 14:53 371K
alt-ergo_2.0.0-3.debian.tar.xz 2019-02-13 22:53 6.2K
alt-ergo_2.0.0-3.dsc 2019-02-13 22:53 2.2K
alt-ergo_2.0.0-3_amd64.deb 2019-02-13 23:28 3.9M
alt-ergo_2.0.0-3_arm64.deb 2019-02-13 23:43 4.7M
alt-ergo_2.0.0-3_i386.deb 2019-02-14 01:13 3.4M
alt-ergo_2.0.0-7+b4_amd64.deb 2020-12-06 14:13 1.9M
alt-ergo_2.0.0-7+b4_arm64.deb 2020-12-06 10:13 2.2M
alt-ergo_2.0.0-7+b4_i386.deb 2020-12-06 11:43 1.8M
alt-ergo_2.0.0-7.debian.tar.xz 2020-08-11 04:18 6.9K
alt-ergo_2.0.0-7.dsc 2020-08-11 04:18 1.9K
alt-ergo_2.0.0.orig.tar.gz 2019-02-13 15:31 345K
alt-ergo_2.4.2-2.debian.tar.xz 2022-08-06 17:12 6.9K
alt-ergo_2.4.2-2.dsc 2022-08-06 17:12 2.2K
alt-ergo_2.4.2-2_amd64.deb 2022-08-06 17:42 14M
alt-ergo_2.4.2-2_arm64.deb 2022-08-06 17:42 15M
alt-ergo_2.4.2-2_i386.deb 2022-08-06 17:42 14M
alt-ergo_2.4.2.orig.tar.gz 2022-08-06 11:08 2.8M
libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb 2014-04-27 17:01 700K
libalt-ergo-ocaml-dev_0.95.2-3_i386.deb 2014-04-27 17:56 706K