uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/c/coq-quickchick/

Hide dotfiles
Name
Last modified
Size
../
-
-
../
14-Feb-2026 12:08
-
coq-quickchick_2.0.2-1build5.debian.tar.xz
08-Apr-2024 07:57
3.22 KB
coq-quickchick_2.0.2-1build5.dsc
08-Apr-2024 07:57
2.3 KB
coq-quickchick_2.0.2.orig.tar.gz
20-Jan-2024 23:35
405.88 KB
coq-quickchick_2.0.5-1build6.debian.tar.xz
19-Feb-2025 07:52
2.99 KB
coq-quickchick_2.0.5-1build6.dsc
19-Feb-2025 07:52
2.22 KB
coq-quickchick_2.0.5.orig.tar.gz
18-Dec-2024 23:41
403.34 KB
coq-quickchick_2.1.0-1.1build3.debian.tar.xz
04-Jan-2026 23:06
3.09 KB
coq-quickchick_2.1.0-1.1build3.dsc
04-Jan-2026 23:06
2.23 KB
coq-quickchick_2.1.0-1.1build5.debian.tar.xz
07-Mar-2026 19:00
3.14 KB
coq-quickchick_2.1.0-1.1build5.dsc
07-Mar-2026 19:00
2.23 KB
coq-quickchick_2.1.0-1build4.debian.tar.xz
31-Aug-2025 19:42
2.98 KB
coq-quickchick_2.1.0-1build4.dsc
31-Aug-2025 19:42
2.22 KB
coq-quickchick_2.1.0.orig.tar.gz
01-May-2025 16:23
404.83 KB
libcoq-quickchick_2.0.2-1build5_amd64.deb
08-Apr-2024 14:36
1.86 MB
libcoq-quickchick_2.0.5-1build6_amd64.deb
20-Feb-2025 04:20
4.29 MB
libcoq-quickchick_2.1.0-1.1build3_amd64.deb
06-Jan-2026 08:32
3.96 MB
libcoq-quickchick_2.1.0-1.1build3_amd64v3.deb
06-Jan-2026 08:32
3.96 MB
libcoq-quickchick_2.1.0-1.1build5_amd64.deb
07-Mar-2026 19:01
3.96 MB
libcoq-quickchick_2.1.0-1.1build5_amd64v3.deb
07-Mar-2026 19:02
3.96 MB
libcoq-quickchick_2.1.0-1build4_amd64.deb
01-Sep-2025 19:52
4.31 MB
quickchick_2.0.2-1build5_amd64.deb
08-Apr-2024 14:36
64.97 KB
quickchick_2.0.5-1build6_amd64.deb
20-Feb-2025 04:20
553.74 KB
quickchick_2.1.0-1.1build3_amd64.deb
06-Jan-2026 08:32
538.77 KB
quickchick_2.1.0-1.1build3_amd64v3.deb
06-Jan-2026 08:32
538.79 KB
quickchick_2.1.0-1.1build5_amd64.deb
07-Mar-2026 19:01
538.12 KB
quickchick_2.1.0-1.1build5_amd64v3.deb
07-Mar-2026 19:02
538.21 KB
quickchick_2.1.0-1build4_amd64.deb
01-Sep-2025 19:52
528.5 KB