Name Last modified Size
![[DIR]](/images/back.gif)
Parent Directory -
![[ ]](/images/unknown.gif)
alt-ergo_0.95.2-3.debian.tar.xz 28-Apr-2014 00:01 11K
alt-ergo_0.95.2-3.dsc 28-Apr-2014 00:01 2.2K
alt-ergo_0.95.2-3_amd64.deb 28-Apr-2014 00:01 1.5M
alt-ergo_0.95.2-3_armel.deb 28-Apr-2014 01:41 1.5M
alt-ergo_0.95.2-3_armhf.deb 28-Apr-2014 02:57 1.5M
alt-ergo_0.95.2-3_i386.deb 28-Apr-2014 00:56 1.4M
![[ ]](/images/zip.gif)
alt-ergo_0.95.2.orig.tar.gz 17-Nov-2013 16:07 228K
alt-ergo_1.30-1.debian.tar.xz 12-Dec-2016 21:53 14K
alt-ergo_1.30-1.dsc 12-Dec-2016 21:53 2.2K
alt-ergo_1.30-1_amd64.deb 12-Dec-2016 23:43 2.3M
alt-ergo_1.30-1_arm64.deb 12-Dec-2016 23:59 2.3M
alt-ergo_1.30-1_armel.deb 13-Dec-2016 01:30 2.2M
alt-ergo_1.30-1_armhf.deb 13-Dec-2016 00:44 2.2M
alt-ergo_1.30-1_i386.deb 12-Dec-2016 23:43 2.1M
alt-ergo_1.30-1_mips.deb 12-Dec-2016 23:43 326K
alt-ergo_1.30-1_mips64el.deb 12-Dec-2016 23:44 325K
alt-ergo_1.30-1_mipsel.deb 12-Dec-2016 23:43 325K
alt-ergo_1.30-1_ppc64el.deb 12-Dec-2016 23:44 325K
alt-ergo_1.30-1_s390x.deb 12-Dec-2016 23:44 325K
alt-ergo_1.30.orig.tar.gz 12-Dec-2016 21:53 371K
alt-ergo_2.0.0-3.debian.tar.xz 14-Feb-2019 05:53 6.2K
alt-ergo_2.0.0-3.dsc 14-Feb-2019 05:53 2.2K
alt-ergo_2.0.0-3_amd64.deb 14-Feb-2019 06:28 3.9M
alt-ergo_2.0.0-3_arm64.deb 14-Feb-2019 06:43 4.7M
alt-ergo_2.0.0-3_armel.deb 14-Feb-2019 06:43 396K
alt-ergo_2.0.0-3_i386.deb 14-Feb-2019 08:13 3.4M
alt-ergo_2.0.0-3_mips.deb 14-Feb-2019 06:43 396K
alt-ergo_2.0.0-3_mips64el.deb 14-Feb-2019 11:44 396K
alt-ergo_2.0.0-3_mipsel.deb 14-Feb-2019 07:28 395K
alt-ergo_2.0.0-3_ppc64el.deb 14-Feb-2019 06:43 4.3M
alt-ergo_2.0.0-3_s390x.deb 14-Feb-2019 06:23 4.4M
alt-ergo_2.0.0-7+b4_amd64.deb 06-Dec-2020 21:13 1.9M
alt-ergo_2.0.0-7+b4_arm64.deb 06-Dec-2020 17:13 2.2M
alt-ergo_2.0.0-7+b4_armel.deb 06-Dec-2020 17:13 283K
alt-ergo_2.0.0-7+b4_i386.deb 06-Dec-2020 18:43 1.8M
alt-ergo_2.0.0-7+b4_mips64el.deb 06-Dec-2020 18:27 283K
alt-ergo_2.0.0-7+b4_mipsel.deb 06-Dec-2020 18:43 283K
alt-ergo_2.0.0-7+b4_ppc64el.deb 06-Dec-2020 18:16 2.0M
alt-ergo_2.0.0-7+b4_s390x.deb 06-Dec-2020 17:18 2.1M
alt-ergo_2.0.0-7.debian.tar.xz 11-Aug-2020 11:18 6.9K
alt-ergo_2.0.0-7.dsc 11-Aug-2020 11:18 1.9K
alt-ergo_2.0.0-8+b2_amd64.deb 21-Jan-2022 17:51 2.0M
alt-ergo_2.0.0-8+b2_arm64.deb 21-Jan-2022 21:28 2.3M
alt-ergo_2.0.0-8+b2_armel.deb 22-Jan-2022 03:13 291K
alt-ergo_2.0.0-8+b2_i386.deb 21-Jan-2022 18:11 1.9M
alt-ergo_2.0.0-8+b2_mips64el.deb 22-Jan-2022 12:12 291K
alt-ergo_2.0.0-8+b2_mipsel.deb 21-Jan-2022 19:57 291K
alt-ergo_2.0.0-8+b2_ppc64el.deb 21-Jan-2022 21:58 2.1M
alt-ergo_2.0.0-8+b2_s390x.deb 21-Jan-2022 18:32 2.1M
alt-ergo_2.0.0-8.debian.tar.xz 27-Oct-2021 22:49 7.2K
alt-ergo_2.0.0-8.dsc 27-Oct-2021 22:49 2.1K
alt-ergo_2.0.0.orig.tar.gz 13-Feb-2019 22:31 345K
alt-ergo_2.4.1-1.debian.tar.xz 22-Apr-2022 12:15 6.9K
alt-ergo_2.4.1-1.dsc 22-Apr-2022 12:15 2.2K
alt-ergo_2.4.1-1_amd64.deb 12-May-2022 21:25 11M
alt-ergo_2.4.1-1_arm64.deb 12-May-2022 21:55 12M
alt-ergo_2.4.1-1_armhf.deb 12-May-2022 21:55 11M
alt-ergo_2.4.1-1_i386.deb 12-May-2022 21:50 11M
alt-ergo_2.4.1-1_ppc64el.deb 12-May-2022 21:55 12M
alt-ergo_2.4.1-1_s390x.deb 12-May-2022 21:55 11M
alt-ergo_2.4.1.orig.tar.gz 22-Apr-2022 12:15 2.7M
alt-ergo_2.4.2-2.debian.tar.xz 07-Aug-2022 00:12 6.9K
alt-ergo_2.4.2-2.dsc 07-Aug-2022 00:12 2.2K
alt-ergo_2.4.2-2_amd64.deb 07-Aug-2022 00:42 14M
alt-ergo_2.4.2-2_arm64.deb 07-Aug-2022 00:42 15M
alt-ergo_2.4.2-2_armel.deb 07-Aug-2022 00:42 11M
alt-ergo_2.4.2-2_armhf.deb 07-Aug-2022 00:42 14M
alt-ergo_2.4.2-2_i386.deb 07-Aug-2022 00:42 14M
alt-ergo_2.4.2-2_mips64el.deb 07-Aug-2022 00:42 11M
alt-ergo_2.4.2-2_mipsel.deb 07-Aug-2022 00:57 11M
alt-ergo_2.4.2-2_ppc64el.deb 07-Aug-2022 00:42 14M
alt-ergo_2.4.2-2_s390x.deb 07-Aug-2022 00:42 14M
alt-ergo_2.4.2.orig.tar.gz 06-Aug-2022 18:08 2.8M
libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb 28-Apr-2014 00:01 700K
libalt-ergo-ocaml-dev_0.95.2-3_armel.deb 28-Apr-2014 01:41 849K
libalt-ergo-ocaml-dev_0.95.2-3_armhf.deb 28-Apr-2014 02:57 854K
libalt-ergo-ocaml-dev_0.95.2-3_i386.deb 28-Apr-2014 00:56 706K
Apache/2.2 Server at debian.noc.ntua.gr Port 80
