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

../
coq-quickchick_2.0.2-1build5.debian.tar.xz         08-Apr-2024 07:57                3300
coq-quickchick_2.0.2-1build5.dsc                   08-Apr-2024 07:57                2353
coq-quickchick_2.0.2.orig.tar.gz                   20-Jan-2024 23:35              415619
coq-quickchick_2.0.3-3build5.debian.tar.xz         17-Sep-2024 16:56                3008
coq-quickchick_2.0.3-3build5.dsc                   17-Sep-2024 16:56                2274
coq-quickchick_2.0.3.orig.tar.gz                   02-May-2024 11:53              411625
coq-quickchick_2.0.5-1build6.debian.tar.xz         19-Feb-2025 07:52                3064
coq-quickchick_2.0.5-1build6.dsc                   19-Feb-2025 07:52                2274
coq-quickchick_2.0.5.orig.tar.gz                   18-Dec-2024 23:41              413023
coq-quickchick_2.1.0-1.debian.tar.xz               01-May-2025 16:23                2908
coq-quickchick_2.1.0-1.dsc                         01-May-2025 16:23                2288
coq-quickchick_2.1.0-1build1.debian.tar.xz         08-May-2025 11:58                2976
coq-quickchick_2.1.0-1build1.dsc                   08-May-2025 11:58                2274
coq-quickchick_2.1.0.orig.tar.gz                   01-May-2025 16:23              414544
libcoq-quickchick_2.0.2-1build5_arm64.deb          08-Apr-2024 14:36             2005084
libcoq-quickchick_2.0.2-1build5_armhf.deb          08-Apr-2024 14:36             1950766
libcoq-quickchick_2.0.3-3build5_arm64.deb          19-Sep-2024 23:39             4586518
libcoq-quickchick_2.0.5-1build6_arm64.deb          20-Feb-2025 15:13             4542508
libcoq-quickchick_2.1.0-1_arm64.deb                01-May-2025 23:02             4567208
libcoq-quickchick_2.1.0-1build1_arm64.deb          08-May-2025 15:28             4557502
quickchick_2.0.2-1build5_arm64.deb                 08-Apr-2024 14:36               66526
quickchick_2.0.2-1build5_armhf.deb                 08-Apr-2024 14:36               66526
quickchick_2.0.3-3build5_arm64.deb                 19-Sep-2024 23:39              604448
quickchick_2.0.5-1build6_arm64.deb                 20-Feb-2025 15:13              616000
quickchick_2.1.0-1_arm64.deb                       01-May-2025 23:02              622590
quickchick_2.1.0-1build1_arm64.deb                 08-May-2025 15:28              616778

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.