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.4.0-1.debian.tar.xz 21-Apr-2026 11:32 3192 lambda-term_3.4.0-1.dsc 21-Apr-2026 11:32 2061 lambda-term_3.4.0-2.debian.tar.xz 07-May-2026 09:43 3212 lambda-term_3.4.0-2.dsc 07-May-2026 09:43 2514 lambda-term_3.4.0-2.git.tar.xz 07-May-2026 09:43 224488 lambda-term_3.4.0.orig.tar.gz 21-Apr-2026 11:32 142784 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.4.0-1_amd64.deb 21-Apr-2026 12:24 2645364 liblambda-term-ocaml-dev_3.4.0-1_arm64.deb 21-Apr-2026 12:13 2666760 liblambda-term-ocaml-dev_3.4.0-1_i386.deb 21-Apr-2026 12:19 2324444 liblambda-term-ocaml-dev_3.4.0-2+b1_amd64.deb 08-May-2026 13:51 2645056 liblambda-term-ocaml-dev_3.4.0-2+b1_arm64.deb 08-May-2026 13:00 2667004 liblambda-term-ocaml-dev_3.4.0-2+b1_i386.deb 08-May-2026 13:05 2322548 liblambda-term-ocaml-dev_3.4.0-2_amd64.deb 07-May-2026 17:27 2644664 liblambda-term-ocaml-dev_3.4.0-2_arm64.deb 07-May-2026 10:03 2667932 liblambda-term-ocaml-dev_3.4.0-2_i386.deb 07-May-2026 17:12 2322328 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.4.0-1_amd64.deb 21-Apr-2026 12:24 2352612 liblambda-term-ocaml_3.4.0-1_arm64.deb 21-Apr-2026 12:13 2660396 liblambda-term-ocaml_3.4.0-1_i386.deb 21-Apr-2026 12:19 1281572 liblambda-term-ocaml_3.4.0-2+b1_amd64.deb 08-May-2026 13:51 2366776 liblambda-term-ocaml_3.4.0-2+b1_arm64.deb 08-May-2026 13:00 2681096 liblambda-term-ocaml_3.4.0-2+b1_i386.deb 08-May-2026 13:05 1291348 liblambda-term-ocaml_3.4.0-2_amd64.deb 07-May-2026 17:27 2366972 liblambda-term-ocaml_3.4.0-2_arm64.deb 07-May-2026 10:03 2655328 liblambda-term-ocaml_3.4.0-2_i386.deb 07-May-2026 17:12 1291508
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.