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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]alt-ergo_0.95.2-1build1.debian.tar.gz2024-08-09 10:57 12K
[TXT]alt-ergo_0.95.2-1build1.dsc2024-08-09 10:57 1.6K
[ ]alt-ergo_0.95.2-1build1_amd64.deb2024-08-09 10:57 1.5M
[ ]alt-ergo_0.95.2-1build1_i386.deb2024-08-09 10:57 1.3M
[ ]alt-ergo_0.95.2.orig.tar.gz2024-08-09 10:57 228K
[ ]alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz2024-08-09 10:57 12K
[TXT]alt-ergo_0.99.1+dfsg1-4build3.dsc2024-08-09 10:57 2.2K
[ ]alt-ergo_0.99.1+dfsg1-4build3_amd64.deb2024-08-09 10:57 1.9M
[ ]alt-ergo_0.99.1+dfsg1-4build3_i386.deb2024-08-09 10:57 1.8M
[ ]alt-ergo_0.99.1+dfsg1.orig.tar.gz2024-08-09 10:57 218K
[ ]alt-ergo_1.30+dfsg1-1.debian.tar.xz2024-08-09 10:57 14K
[TXT]alt-ergo_1.30+dfsg1-1.dsc2024-08-09 10:57 2.2K
[ ]alt-ergo_1.30+dfsg1-1_amd64.deb2024-08-09 10:57 3.0M
[ ]alt-ergo_1.30+dfsg1-1_i386.deb2024-08-09 10:57 2.4M
[ ]alt-ergo_1.30+dfsg1.orig.tar.gz2024-08-09 10:57 258K
[ ]alt-ergo_2.0.0-5build1.debian.tar.xz2024-08-09 10:57 7.0K
[TXT]alt-ergo_2.0.0-5build1.dsc2024-08-09 10:57 2.3K
[ ]alt-ergo_2.0.0-5build1_amd64.deb2024-08-09 10:57 3.9M
[ ]alt-ergo_2.0.0-8build1.debian.tar.xz2024-08-09 10:57 7.3K
[TXT]alt-ergo_2.0.0-8build1.dsc2024-08-09 10:57 2.1K
[ ]alt-ergo_2.0.0-8build1_amd64.deb2024-08-09 10:57 2.3M
[ ]alt-ergo_2.0.0.orig.tar.gz2024-08-09 10:57 345K
[ ]libalt-ergo-ocaml-dev_0.95.2-1build1_amd64.deb2024-08-09 10:57 701K
[ ]libalt-ergo-ocaml-dev_0.95.2-1build1_i386.deb2024-08-09 10:57 701K