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


../
lambda-term_3.2.0-1.debian.tar.xz                  03-Mar-2022 10:48                3060
lambda-term_3.2.0-1.dsc                            03-Mar-2022 10:48                1998
lambda-term_3.2.0.orig.tar.gz                      03-Mar-2022 10:48              144204
liblambda-term-ocaml-dev_3.2.0-1+b5_amd64.deb      14-Feb-2023 09:59             2335056
liblambda-term-ocaml_3.2.0-1+b5_amd64.deb          14-Feb-2023 09:59             2186180