Index of /debian/pool/main/l/lambda-term

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]lambda-term_3.1.0-1.debian.tar.xz2020-09-25 11:32 3.0K
[TXT]lambda-term_3.1.0-1.dsc2020-09-25 11:32 2.0K
[   ]lambda-term_3.1.0.orig.tar.gz2020-09-25 11:32 141K
[   ]liblambda-term-ocaml-dev_3.1.0-1+b2_amd64.deb2020-12-19 18:12 2.2M
[   ]liblambda-term-ocaml_3.1.0-1+b2_amd64.deb2020-12-19 18:12 2.0M
[   ]liblambda-term-ocaml-dev_3.1.0-1+b2_i386.deb2020-12-19 18:12 2.2M
[   ]liblambda-term-ocaml_3.1.0-1+b2_i386.deb2020-12-19 18:12 2.0M
[   ]lambda-term_3.2.0-1.debian.tar.xz2022-03-03 12:48 3.0K
[TXT]lambda-term_3.2.0-1.dsc2022-03-03 12:48 2.0K
[   ]lambda-term_3.2.0.orig.tar.gz2022-03-03 12:48 141K
[   ]liblambda-term-ocaml-dev_3.2.0-1+b5_i386.deb2023-02-14 11:49 2.2M
[   ]liblambda-term-ocaml_3.2.0-1+b5_i386.deb2023-02-14 11:49 2.0M
[   ]liblambda-term-ocaml-dev_3.2.0-1+b5_amd64.deb2023-02-14 11:59 2.2M
[   ]liblambda-term-ocaml_3.2.0-1+b5_amd64.deb2023-02-14 11:59 2.1M
[   ]lambda-term_3.3.2-1.debian.tar.xz2023-08-27 23:16 3.0K
[TXT]lambda-term_3.3.2-1.dsc2023-08-27 23:16 2.0K
[   ]lambda-term_3.3.2.orig.tar.gz2023-08-27 23:16 139K
[   ]liblambda-term-ocaml-dev_3.3.2-1+b24_amd64.deb2025-06-15 00:34 3.1M
[   ]liblambda-term-ocaml_3.3.2-1+b24_amd64.deb2025-06-15 00:34 2.3M
[   ]liblambda-term-ocaml-dev_3.3.2-1+b24_i386.deb2025-06-15 01:48 2.8M
[   ]liblambda-term-ocaml_3.3.2-1+b24_i386.deb2025-06-15 01:48 1.3M
[   ]lambda-term_3.3.2-2.debian.tar.xz2025-09-23 11:23 3.1K
[TXT]lambda-term_3.3.2-2.dsc2025-09-23 11:23 2.0K
[   ]liblambda-term-ocaml-dev_3.3.2-2_amd64.deb2025-09-24 09:25 3.1M
[   ]liblambda-term-ocaml_3.3.2-2_amd64.deb2025-09-24 09:25 2.3M
[   ]liblambda-term-ocaml-dev_3.3.2-2_i386.deb2025-09-24 09:25 2.8M
[   ]liblambda-term-ocaml_3.3.2-2_i386.deb2025-09-24 09:25 1.3M
[   ]liblambda-term-ocaml-dev_3.3.2-2+b1_i386.deb2025-10-17 13:39 2.8M
[   ]liblambda-term-ocaml_3.3.2-2+b1_i386.deb2025-10-17 13:39 1.3M
[   ]liblambda-term-ocaml-dev_3.3.2-2+b1_amd64.deb2025-10-17 13:39 3.1M
[   ]liblambda-term-ocaml_3.3.2-2+b1_amd64.deb2025-10-17 13:39 2.3M

Apache/2.4.65 (Debian) Server at mirror.materials.uoc.gr Port 443