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.
../ coq-mtac2_1.4+8.16-2.debian.tar.xz 26-Jan-2023 12:44 2480 coq-mtac2_1.4+8.16-2.dsc 26-Jan-2023 12:44 2100 coq-mtac2_1.4+8.16.orig.tar.gz 06-Sep-2022 09:09 251070 coq-mtac2_1.4+8.18-1.debian.tar.xz 22-Dec-2023 11:07 2756 coq-mtac2_1.4+8.18-1.dsc 22-Dec-2023 11:07 2100 coq-mtac2_1.4+8.18.orig.tar.gz 22-Dec-2023 11:07 252158 coq-mtac2_1.4+8.19-1.debian.tar.xz 26-Apr-2024 14:06 2788 coq-mtac2_1.4+8.19-1.dsc 26-Apr-2024 14:06 2100 coq-mtac2_1.4+8.19.orig.tar.gz 26-Apr-2024 14:06 252242 libcoq-mtac2_1.4+8.16-2+b1_amd64.deb 13-Feb-2023 07:28 762732 libcoq-mtac2_1.4+8.16-2+b1_arm64.deb 13-Feb-2023 07:28 771848 libcoq-mtac2_1.4+8.16-2+b1_i386.deb 13-Feb-2023 07:34 750740 libcoq-mtac2_1.4+8.18-1_amd64.deb 23-Dec-2023 11:52 785092 libcoq-mtac2_1.4+8.18-1_arm64.deb 23-Dec-2023 11:52 795192 libcoq-mtac2_1.4+8.18-1_i386.deb 23-Dec-2023 11:52 773416 libcoq-mtac2_1.4+8.19-1_amd64.deb 28-Apr-2024 15:11 796760 libcoq-mtac2_1.4+8.19-1_arm64.deb 28-Apr-2024 15:11 807184 libcoq-mtac2_1.4+8.19-1_i386.deb 28-Apr-2024 15:11 785080
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.