The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ lambda-term_3.1.0-1.debian.tar.xz 25-Sep-2020 08:32 3036 lambda-term_3.1.0-1.dsc 25-Sep-2020 08:32 2026 lambda-term_3.1.0.orig.tar.gz 25-Sep-2020 08:32 144714 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 lambda-term_3.3.2-1.debian.tar.xz 27-Aug-2023 20:16 3064 lambda-term_3.3.2-1.dsc 27-Aug-2023 20:16 2061 lambda-term_3.3.2.orig.tar.gz 27-Aug-2023 20:16 142574 lambda-term_3.3.3-1.debian.tar.xz 14-Mar-2026 08:16 3180 lambda-term_3.3.3-1.dsc 14-Mar-2026 08:16 2061 lambda-term_3.3.3.orig.tar.gz 14-Mar-2026 08:16 142703 liblambda-term-ocaml-dev_3.1.0-1+b2_amd64.deb 19-Dec-2020 16:12 2338700 liblambda-term-ocaml-dev_3.1.0-1+b2_arm64.deb 19-Dec-2020 16:12 2344544 liblambda-term-ocaml-dev_3.1.0-1+b2_i386.deb 19-Dec-2020 16:12 2333224 liblambda-term-ocaml-dev_3.2.0-1+b5_amd64.deb 14-Feb-2023 09:59 2335056 liblambda-term-ocaml-dev_3.2.0-1+b5_arm64.deb 14-Feb-2023 09:59 2342452 liblambda-term-ocaml-dev_3.2.0-1+b5_i386.deb 14-Feb-2023 09:49 2324832 liblambda-term-ocaml-dev_3.3.2-1+b24_amd64.deb 14-Jun-2025 21:34 3229216 liblambda-term-ocaml-dev_3.3.2-1+b24_arm64.deb 15-Jun-2025 03:20 3232100 liblambda-term-ocaml-dev_3.3.2-1+b24_i386.deb 14-Jun-2025 22:48 2890000 liblambda-term-ocaml-dev_3.3.3-1+b1_amd64.deb 17-Mar-2026 09:23 2645024 liblambda-term-ocaml-dev_3.3.3-1+b1_arm64.deb 17-Mar-2026 09:18 2665036 liblambda-term-ocaml-dev_3.3.3-1+b1_i386.deb 17-Mar-2026 09:49 2323296 liblambda-term-ocaml-dev_3.3.3-1+b2_amd64.deb 05-Apr-2026 06:15 2645064 liblambda-term-ocaml-dev_3.3.3-1+b2_arm64.deb 05-Apr-2026 06:15 2665420 liblambda-term-ocaml-dev_3.3.3-1+b2_i386.deb 05-Apr-2026 06:15 2323456 liblambda-term-ocaml_3.1.0-1+b2_amd64.deb 19-Dec-2020 16:12 2144084 liblambda-term-ocaml_3.1.0-1+b2_arm64.deb 19-Dec-2020 16:12 2356144 liblambda-term-ocaml_3.1.0-1+b2_i386.deb 19-Dec-2020 16:12 2087760 liblambda-term-ocaml_3.2.0-1+b5_amd64.deb 14-Feb-2023 09:59 2186180 liblambda-term-ocaml_3.2.0-1+b5_arm64.deb 14-Feb-2023 09:59 2405140 liblambda-term-ocaml_3.2.0-1+b5_i386.deb 14-Feb-2023 09:49 2109660 liblambda-term-ocaml_3.3.2-1+b24_amd64.deb 14-Jun-2025 21:34 2373780 liblambda-term-ocaml_3.3.2-1+b24_arm64.deb 15-Jun-2025 03:20 2615096 liblambda-term-ocaml_3.3.2-1+b24_i386.deb 14-Jun-2025 22:48 1315800 liblambda-term-ocaml_3.3.3-1+b1_amd64.deb 17-Mar-2026 09:23 2353812 liblambda-term-ocaml_3.3.3-1+b1_arm64.deb 17-Mar-2026 09:18 2665876 liblambda-term-ocaml_3.3.3-1+b1_i386.deb 17-Mar-2026 09:49 1281696 liblambda-term-ocaml_3.3.3-1+b2_amd64.deb 05-Apr-2026 06:15 2354576 liblambda-term-ocaml_3.3.3-1+b2_arm64.deb 05-Apr-2026 06:15 2658956 liblambda-term-ocaml_3.3.3-1+b2_i386.deb 05-Apr-2026 06:15 1281192
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.