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-2.debian.tar.xz 23-Sep-2025 08:23 3156 lambda-term_3.3.2-2.dsc 23-Sep-2025 08:23 2061 lambda-term_3.3.2.orig.tar.gz 27-Aug-2023 20:16 142574 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.2-2+b1_amd64.deb 17-Oct-2025 10:39 3228768 liblambda-term-ocaml-dev_3.3.2-2+b1_arm64.deb 17-Oct-2025 10:39 3230676 liblambda-term-ocaml-dev_3.3.2-2+b1_i386.deb 17-Oct-2025 10:39 2890072 liblambda-term-ocaml-dev_3.3.2-2_amd64.deb 24-Sep-2025 06:25 3228916 liblambda-term-ocaml-dev_3.3.2-2_arm64.deb 24-Sep-2025 06:45 3230396 liblambda-term-ocaml-dev_3.3.2-2_i386.deb 24-Sep-2025 06:25 2889736 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.2-2+b1_amd64.deb 17-Oct-2025 10:39 2376716 liblambda-term-ocaml_3.3.2-2+b1_arm64.deb 17-Oct-2025 10:39 2629028 liblambda-term-ocaml_3.3.2-2+b1_i386.deb 17-Oct-2025 10:39 1315824 liblambda-term-ocaml_3.3.2-2_amd64.deb 24-Sep-2025 06:25 2379500 liblambda-term-ocaml_3.3.2-2_arm64.deb 24-Sep-2025 06:45 2618628 liblambda-term-ocaml_3.3.2-2_i386.deb 24-Sep-2025 06:25 1315372
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.