Index of /debian/pool/main/l/lambda-term
Name
Last modified
Size
Description
Parent Directory
-
lambda-term_1.10.1-2.debian.tar.xz
2017-07-27 00:02
2.9K
lambda-term_3.1.0-1.debian.tar.xz
2020-09-25 03:32
3.0K
lambda-term_3.2.0-1.debian.tar.xz
2022-03-03 04:48
3.0K
lambda-term_3.3.2-1.debian.tar.xz
2023-08-27 15:16
3.0K
liblambda-term-ocaml-dev_1.10.1-2+b1_i386.deb
2017-10-17 09:56
1.4M
liblambda-term-ocaml-dev_3.1.0-1+b2_i386.deb
2020-12-19 10:12
2.2M
liblambda-term-ocaml-dev_3.2.0-1+b5_i386.deb
2023-02-14 03:49
2.2M
liblambda-term-ocaml-dev_3.3.2-1+b20_i386.deb
2025-02-13 03:01
2.8M
liblambda-term-ocaml-dev_3.3.2-1+b21_i386.deb
2025-03-12 16:16
2.8M
liblambda-term-ocaml-dev_3.3.2-1+b21_riscv64.deb
2025-02-13 06:57
3.3M
liblambda-term-ocaml-dev_3.3.2-1+b22_riscv64.deb
2025-03-12 17:42
3.3M
liblambda-term-ocaml_1.10.1-2+b1_i386.deb
2017-10-17 09:56
1.2M
liblambda-term-ocaml_3.1.0-1+b2_i386.deb
2020-12-19 10:12
2.0M
liblambda-term-ocaml_3.2.0-1+b5_i386.deb
2023-02-14 03:49
2.0M
liblambda-term-ocaml_3.3.2-1+b20_i386.deb
2025-02-13 03:01
1.3M
liblambda-term-ocaml_3.3.2-1+b21_i386.deb
2025-03-12 16:16
1.3M
liblambda-term-ocaml_3.3.2-1+b21_riscv64.deb
2025-02-13 06:57
2.3M
liblambda-term-ocaml_3.3.2-1+b22_riscv64.deb
2025-03-12 17:42
2.3M
Apache/2.4.29 (Ubuntu) Server at ubuntu1.gcfl.net Port 80