Index of /pool/main/l/lambda-term
Name
Last modified
Size
Parent Directory
-
lambda-term_1.10.1.orig.tar.gz
15-Sep-2016 00:28
159K
lambda-term_1.10.1-2.debian.tar.xz
27-Jul-2017 07:02
2.9K
lambda-term_1.10.1-2.dsc
27-Jul-2017 07:02
2.3K
liblambda-term-ocaml-dev_1.10.1-2+b1_arm64.deb
17-Oct-2017 16:11
1.4M
liblambda-term-ocaml_1.10.1-2+b1_arm64.deb
17-Oct-2017 16:11
1.4M
liblambda-term-ocaml-dev_1.10.1-2+b1_armhf.deb
17-Oct-2017 16:26
1.4M
liblambda-term-ocaml_1.10.1-2+b1_armhf.deb
17-Oct-2017 16:26
1.2M
liblambda-term-ocaml-dev_1.10.1-2+b1_amd64.deb
17-Oct-2017 16:56
1.4M
liblambda-term-ocaml_1.10.1-2+b1_amd64.deb
17-Oct-2017 16:56
1.3M
liblambda-term-ocaml-dev_1.10.1-2+b1_i386.deb
17-Oct-2017 16:56
1.4M
liblambda-term-ocaml_1.10.1-2+b1_i386.deb
17-Oct-2017 16:56
1.2M
lambda-term_3.1.0-1.debian.tar.xz
25-Sep-2020 10:32
3.0K
lambda-term_3.1.0-1.dsc
25-Sep-2020 10:32
2.0K
lambda-term_3.1.0.orig.tar.gz
25-Sep-2020 10:32
141K
liblambda-term-ocaml-dev_3.1.0-1+b2_armhf.deb
19-Dec-2020 17:12
2.3M
liblambda-term-ocaml_3.1.0-1+b2_armhf.deb
19-Dec-2020 17:12
2.0M
liblambda-term-ocaml-dev_3.1.0-1+b2_amd64.deb
19-Dec-2020 17:12
2.2M
liblambda-term-ocaml_3.1.0-1+b2_amd64.deb
19-Dec-2020 17:12
2.0M
liblambda-term-ocaml-dev_3.1.0-1+b2_i386.deb
19-Dec-2020 17:12
2.2M
liblambda-term-ocaml_3.1.0-1+b2_i386.deb
19-Dec-2020 17:12
2.0M
liblambda-term-ocaml-dev_3.1.0-1+b2_arm64.deb
19-Dec-2020 17:12
2.2M
liblambda-term-ocaml_3.1.0-1+b2_arm64.deb
19-Dec-2020 17:12
2.2M
lambda-term_3.2.0-1.debian.tar.xz
03-Mar-2022 11:48
3.0K
lambda-term_3.2.0-1.dsc
03-Mar-2022 11:48
2.0K
lambda-term_3.2.0.orig.tar.gz
03-Mar-2022 11:48
141K
liblambda-term-ocaml-dev_3.2.0-1+b5_i386.deb
14-Feb-2023 10:49
2.2M
liblambda-term-ocaml_3.2.0-1+b5_i386.deb
14-Feb-2023 10:49
2.0M
liblambda-term-ocaml-dev_3.2.0-1+b5_arm64.deb
14-Feb-2023 10:59
2.2M
liblambda-term-ocaml_3.2.0-1+b5_arm64.deb
14-Feb-2023 10:59
2.3M
liblambda-term-ocaml-dev_3.2.0-1+b5_armhf.deb
14-Feb-2023 10:59
2.2M
liblambda-term-ocaml_3.2.0-1+b5_armhf.deb
14-Feb-2023 10:59
2.0M
liblambda-term-ocaml-dev_3.2.0-1+b5_amd64.deb
14-Feb-2023 10:59
2.2M
liblambda-term-ocaml_3.2.0-1+b5_amd64.deb
14-Feb-2023 10:59
2.1M
lambda-term_3.3.2-1.debian.tar.xz
27-Aug-2023 22:16
3.0K
lambda-term_3.3.2-1.dsc
27-Aug-2023 22:16
2.0K
lambda-term_3.3.2.orig.tar.gz
27-Aug-2023 22:16
139K
liblambda-term-ocaml-dev_3.3.2-1+b16_i386.deb
12-Oct-2024 09:17
2.8M
liblambda-term-ocaml_3.3.2-1+b16_i386.deb
12-Oct-2024 09:17
1.2M
liblambda-term-ocaml-dev_3.3.2-1+b16_armhf.deb
12-Oct-2024 09:22
2.8M
liblambda-term-ocaml_3.3.2-1+b16_armhf.deb
12-Oct-2024 09:22
1.2M
liblambda-term-ocaml-dev_3.3.2-1+b16_amd64.deb
12-Oct-2024 09:22
3.1M
liblambda-term-ocaml_3.3.2-1+b16_amd64.deb
12-Oct-2024 09:22
2.3M
liblambda-term-ocaml-dev_3.3.2-1+b16_arm64.deb
12-Oct-2024 09:28
3.1M
liblambda-term-ocaml_3.3.2-1+b16_arm64.deb
12-Oct-2024 09:28
2.5M
liblambda-term-ocaml-dev_3.3.2-1+b17_riscv64.deb
12-Oct-2024 10:48
3.3M
liblambda-term-ocaml_3.3.2-1+b17_riscv64.deb
12-Oct-2024 10:48
2.3M