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 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-1+b26_amd64.deb 26-Aug-2025 09:02 3229376 liblambda-term-ocaml-dev_3.3.2-1+b26_arm64.deb 26-Aug-2025 09:07 3230928 liblambda-term-ocaml-dev_3.3.2-1+b26_i386.deb 26-Aug-2025 07:19 2889908 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-1+b26_amd64.deb 26-Aug-2025 09:02 2375088 liblambda-term-ocaml_3.3.2-1+b26_arm64.deb 26-Aug-2025 09:07 2626208 liblambda-term-ocaml_3.3.2-1+b26_i386.deb 26-Aug-2025 07:19 1315824
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.