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

../
lambda-term_1.10.1-2.debian.tar.xz                 27-Mar-2020 22:10    2936
lambda-term_1.10.1-2.dsc                           27-Mar-2020 22:10    2307
lambda-term_1.10.1.orig.tar.gz                     27-Mar-2020 22:10    159K
liblambda-term-ocaml-dev_1.10.1-2+b1_amd64.deb     27-Mar-2020 22:10      1M
liblambda-term-ocaml-dev_1.10.1-2+b1_arm64.deb     27-Mar-2020 22:10      1M
liblambda-term-ocaml-dev_1.10.1-2+b1_i386.deb      27-Mar-2020 22:10      1M
liblambda-term-ocaml-dev_1.10.1-2+b1_mips64el.deb  27-Mar-2020 22:10      1M
liblambda-term-ocaml_1.10.1-2+b1_amd64.deb         27-Mar-2020 22:10      1M
liblambda-term-ocaml_1.10.1-2+b1_arm64.deb         27-Mar-2020 22:10      1M
liblambda-term-ocaml_1.10.1-2+b1_i386.deb          27-Mar-2020 22:10      1M
liblambda-term-ocaml_1.10.1-2+b1_mips64el.deb      27-Mar-2020 22:10      1M