Index of /ubuntu/pool/universe/l/lambda-term
Name
Last modified
Size
Description
Parent Directory
-
liblambda-term-ocaml_3.3.2-1build19_amd64.deb
20-Nov-2024 06:23
2.4M
liblambda-term-ocaml_3.3.2-1build18_amd64.deb
20-Sep-2024 02:03
2.4M
liblambda-term-ocaml_3.3.2-1build8_amd64.deb
01-Apr-2024 09:36
2.6M
liblambda-term-ocaml_3.2.0-1build5_amd64.deb
17-Feb-2023 14:14
2.5M
liblambda-term-ocaml_3.1.0-1build5_amd64.deb
26-Feb-2022 21:44
2.5M
liblambda-term-ocaml_2.0.3-1build1_amd64.deb
26-Feb-2020 06:53
1.7M
liblambda-term-ocaml_1.10.1-2build1_i386.deb
29-Oct-2017 23:09
1.2M
liblambda-term-ocaml_1.10.1-2build1_amd64.deb
29-Oct-2017 23:08
1.3M
liblambda-term-ocaml_1.9-4_i386.deb
24-Feb-2016 05:02
1.0M
liblambda-term-ocaml_1.9-4_amd64.deb
24-Feb-2016 05:01
1.0M
liblambda-term-ocaml-dev_3.3.2-1build19_amd64.deb
20-Nov-2024 06:23
3.1M
liblambda-term-ocaml-dev_3.3.2-1build18_amd64.deb
20-Sep-2024 02:03
3.1M
liblambda-term-ocaml-dev_3.3.2-1build8_amd64.deb
01-Apr-2024 09:36
2.8M
liblambda-term-ocaml-dev_3.2.0-1build5_amd64.deb
17-Feb-2023 14:14
2.7M
liblambda-term-ocaml-dev_3.1.0-1build5_amd64.deb
26-Feb-2022 21:44
2.7M
liblambda-term-ocaml-dev_2.0.3-1build1_amd64.deb
26-Feb-2020 06:53
1.8M
liblambda-term-ocaml-dev_1.10.1-2build1_i386.deb
29-Oct-2017 23:09
1.4M
liblambda-term-ocaml-dev_1.10.1-2build1_amd64.deb
29-Oct-2017 23:08
1.4M
liblambda-term-ocaml-dev_1.9-4_i386.deb
24-Feb-2016 05:02
1.4M
liblambda-term-ocaml-dev_1.9-4_amd64.deb
24-Feb-2016 05:01
1.4M
lambda-term_3.3.2.orig.tar.gz
28-Aug-2023 20:09
139K
lambda-term_3.3.2-1build19.dsc
20-Nov-2024 06:23
2.3K
lambda-term_3.3.2-1build19.debian.tar.xz
20-Nov-2024 06:23
3.5K
lambda-term_3.3.2-1build18.dsc
20-Sep-2024 02:02
2.3K
lambda-term_3.3.2-1build18.debian.tar.xz
20-Sep-2024 02:02
3.4K
lambda-term_3.3.2-1build8.dsc
01-Apr-2024 08:32
2.3K
lambda-term_3.3.2-1build8.debian.tar.xz
01-Apr-2024 08:32
3.3K
lambda-term_3.2.0.orig.tar.gz
30-Apr-2022 13:01
141K
lambda-term_3.2.0-1build5.dsc
17-Feb-2023 12:24
2.2K
lambda-term_3.2.0-1build5.debian.tar.xz
17-Feb-2023 12:24
3.1K
lambda-term_3.1.0.orig.tar.gz
29-Oct-2020 08:32
141K
lambda-term_3.1.0-1build5.dsc
26-Feb-2022 12:03
2.3K
lambda-term_3.1.0-1build5.debian.tar.xz
26-Feb-2022 12:03
3.2K
lambda-term_2.0.3.orig.tar.gz
12-Feb-2020 00:23
129K
lambda-term_2.0.3-1build1.dsc
26-Feb-2020 06:53
2.1K
lambda-term_2.0.3-1build1.debian.tar.xz
26-Feb-2020 06:53
3.0K
lambda-term_1.10.1.orig.tar.gz
02-Nov-2016 16:50
159K
lambda-term_1.10.1-2build1.dsc
29-Oct-2017 22:14
2.2K
lambda-term_1.10.1-2build1.debian.tar.xz
29-Oct-2017 22:14
2.9K
lambda-term_1.9.orig.tar.gz
03-Feb-2016 06:30
154K
lambda-term_1.9-4.dsc
14-Feb-2016 12:24
2.2K
lambda-term_1.9-4.debian.tar.xz
14-Feb-2016 12:24
2.7K
Apache/2.2.15 (Red Hat) Server at ucmirror.canterbury.ac.nz Port 80