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


../
lambda-term_3.3.2-1+b23_sh4.buildinfo              15-Jun-2025 06:03                8913
liblambda-term-ocaml-dbgsym_3.3.2-1+b23_sh4.deb    15-Jun-2025 06:03               45104
liblambda-term-ocaml-dev_3.3.2-1+b23_sh4.deb       15-Jun-2025 06:03             2889300
liblambda-term-ocaml_3.3.2-1+b23_sh4.deb           15-Jun-2025 06:03             1288460