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/pool/universe/c/coq-gappa/


../
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.orig.tar.bz2                       02-May-2024 11:53               73595
coq-gappa_1.6.0-1build4.debian.tar.xz              19-Feb-2025 07:52                2500
coq-gappa_1.6.0-1build4.dsc                        19-Feb-2025 07:52                2082
coq-gappa_1.6.0.orig.tar.bz2                       24-Jan-2025 05:56               75644
coq-gappa_1.7.0-1build1.debian.tar.xz              20-Jun-2025 13:22                2288
coq-gappa_1.7.0-1build1.dsc                        20-Jun-2025 13:22                2082
coq-gappa_1.7.0.orig.tar.bz2                       01-May-2025 16:23               76391
libcoq-gappa_1.5.4-1build3_amd64.deb               08-Apr-2024 10:59              575602
libcoq-gappa_1.5.5-2build2_amd64.deb               07-Sep-2024 19:05              597938
libcoq-gappa_1.6.0-1build4_amd64.deb               19-Feb-2025 07:53              626758
libcoq-gappa_1.7.0-1build1_amd64.deb               20-Jun-2025 17:40              643492

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.