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-gappa/


../
coq-gappa_1.5.2-5build1.debian.tar.xz              16-Feb-2023 18:50                2080
coq-gappa_1.5.2-5build1.dsc                        16-Feb-2023 18:50                2072
coq-gappa_1.5.2.orig.tar.bz2                       20-Jul-2022 23:19               73542
coq-gappa_1.5.4-1build3.debian.tar.xz              08-Apr-2024 07:57                2396
coq-gappa_1.5.4-1build3.dsc                        08-Apr-2024 07:57                2151
coq-gappa_1.5.4.orig.tar.bz2                       23-Dec-2023 17:16               73571
coq-gappa_1.5.5-2build2.debian.tar.xz              07-Sep-2024 19:04                2468
coq-gappa_1.5.5-2build2.dsc                        07-Sep-2024 19:04                2082
coq-gappa_1.5.5-2build3.debian.tar.xz              21-Nov-2024 07:16                2496
coq-gappa_1.5.5-2build3.dsc                        21-Nov-2024 07:16                2082
coq-gappa_1.5.5.orig.tar.bz2                       02-May-2024 11:53               73595
libcoq-gappa_1.5.2-5build1_arm64.deb               16-Feb-2023 18:50              606614
libcoq-gappa_1.5.2-5build1_armhf.deb               16-Feb-2023 20:44              598984
libcoq-gappa_1.5.4-1build3_arm64.deb               08-Apr-2024 13:14              581938
libcoq-gappa_1.5.4-1build3_armhf.deb               08-Apr-2024 13:15              574520
libcoq-gappa_1.5.5-2build2_arm64.deb               07-Sep-2024 19:05              604358
libcoq-gappa_1.5.5-2build3_arm64.deb               21-Nov-2024 08:16              587754

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.