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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]liblambda-term-ocaml_3.4.0-2+b1_i386.deb2026-05-08 20:05 1.2M 
[ ]liblambda-term-ocaml_3.4.0-2+b1_armhf.deb2026-05-08 20:00 1.2M 
[ ]liblambda-term-ocaml_3.4.0-2+b1_arm64.deb2026-05-08 20:00 2.6M 
[ ]liblambda-term-ocaml_3.4.0-2+b1_amd64.deb2026-05-08 20:51 2.3M 
[ ]liblambda-term-ocaml_3.3.3-1+b1_i386.deb2026-03-17 16:49 1.2M 
[ ]liblambda-term-ocaml_3.3.3-1+b1_armhf.deb2026-03-17 16:54 1.2M 
[ ]liblambda-term-ocaml_3.3.3-1+b1_arm64.deb2026-03-17 16:18 2.5M 
[ ]liblambda-term-ocaml_3.3.3-1+b1_amd64.deb2026-03-17 16:23 2.2M 
[ ]liblambda-term-ocaml_3.3.2-2+b7_arm64.deb2026-02-13 00:01 2.5M 
[ ]liblambda-term-ocaml_3.3.2-2+b6_amd64.deb2026-02-13 00:01 2.2M 
[ ]liblambda-term-ocaml_3.3.2-2+b3_i386.deb2026-01-05 19:42 1.2M 
[ ]liblambda-term-ocaml_3.3.2-2+b3_armhf.deb2026-01-05 19:36 1.2M 
[ ]liblambda-term-ocaml-dev_3.4.0-2+b1_i386.deb2026-05-08 20:05 2.2M 
[ ]liblambda-term-ocaml-dev_3.4.0-2+b1_armhf.deb2026-05-08 20:00 2.2M 
[ ]liblambda-term-ocaml-dev_3.4.0-2+b1_arm64.deb2026-05-08 20:00 2.5M 
[ ]liblambda-term-ocaml-dev_3.4.0-2+b1_amd64.deb2026-05-08 20:51 2.5M 
[ ]liblambda-term-ocaml-dev_3.3.3-1+b1_i386.deb2026-03-17 16:49 2.2M 
[ ]liblambda-term-ocaml-dev_3.3.3-1+b1_armhf.deb2026-03-17 16:54 2.2M 
[ ]liblambda-term-ocaml-dev_3.3.3-1+b1_arm64.deb2026-03-17 16:18 2.5M 
[ ]liblambda-term-ocaml-dev_3.3.3-1+b1_amd64.deb2026-03-17 16:23 2.5M 
[ ]liblambda-term-ocaml-dev_3.3.2-2+b7_arm64.deb2026-02-13 00:01 2.5M 
[ ]liblambda-term-ocaml-dev_3.3.2-2+b6_amd64.deb2026-02-13 00:01 2.5M 
[ ]liblambda-term-ocaml-dev_3.3.2-2+b3_i386.deb2026-01-05 19:42 2.2M 
[ ]liblambda-term-ocaml-dev_3.3.2-2+b3_armhf.deb2026-01-05 19:36 2.2M 
[ ]lambda-term_3.4.0.orig.tar.gz2026-04-21 18:32 139K 
[TXT]lambda-term_3.4.0-2.dsc2026-05-07 16:43 2.5K 
[ ]lambda-term_3.4.0-2.debian.tar.xz2026-05-07 16:43 3.1K 
[ ]lambda-term_3.3.2.orig.tar.gz2023-08-28 03:16 139K 
[TXT]lambda-term_3.3.2-2.dsc2025-09-23 15:23 2.0K 
[ ]lambda-term_3.3.2-2.debian.tar.xz2025-09-23 15:23 3.1K