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.

Index of /ubuntu-ports/pool/universe/c/coq-unicoq/


../
coq-unicoq_1.6-8.16-2build2.debian.tar.xz          16-Feb-2023 18:50                2440
coq-unicoq_1.6-8.16-2build2.dsc                    16-Feb-2023 18:50                2083
coq-unicoq_1.6-8.16.orig.tar.gz                    06-Nov-2022 03:17              593541
coq-unicoq_1.6-8.17-1build1.debian.tar.xz          26-Jul-2023 05:19                2556
coq-unicoq_1.6-8.17-1build1.dsc                    26-Jul-2023 05:19                2083
coq-unicoq_1.6-8.17.orig.tar.gz                    13-Jun-2023 05:30              593595
coq-unicoq_1.6-8.18-1build3.debian.tar.xz          08-Apr-2024 07:57                2792
coq-unicoq_1.6-8.18-1build3.dsc                    08-Apr-2024 07:57                2172
coq-unicoq_1.6-8.18.orig.tar.gz                    22-Dec-2023 17:26              593629
coq-unicoq_1.6-8.19-1build1.debian.tar.xz          15-Jun-2024 16:02                2680
coq-unicoq_1.6-8.19-1build1.dsc                    15-Jun-2024 16:02                2093
coq-unicoq_1.6-8.19.orig.tar.gz                    02-May-2024 12:38              593676
libcoq-unicoq_1.6-8.16-2build2_arm64.deb           16-Feb-2023 18:50               97244
libcoq-unicoq_1.6-8.16-2build2_armhf.deb           16-Feb-2023 18:50               86482
libcoq-unicoq_1.6-8.17-1build1_arm64.deb           26-Jul-2023 06:22               97780
libcoq-unicoq_1.6-8.17-1build1_armhf.deb           26-Jul-2023 06:22               87272
libcoq-unicoq_1.6-8.18-1build3_arm64.deb           08-Apr-2024 07:57               99106
libcoq-unicoq_1.6-8.18-1build3_armhf.deb           08-Apr-2024 07:57               88348
libcoq-unicoq_1.6-8.19-1build1_arm64.deb           15-Jun-2024 16:02               99900
libcoq-unicoq_1.6-8.19-1build1_armhf.deb           15-Jun-2024 16:02               90654

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.