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