Index of /ubuntu/pool/universe/c/coq-quickchick/
name
size
date
libcoq-quickchick_2.1.0-1.1build5_amd64v3.deb
3.96M
2026-03-07 19:02:45
quickchick_2.1.0-1.1build5_amd64v3.deb
0.53M
2026-03-07 19:02:44
libcoq-quickchick_2.1.0-1.1build5_amd64.deb
3.96M
2026-03-07 19:01:12
quickchick_2.1.0-1.1build5_amd64.deb
0.53M
2026-03-07 19:01:12
coq-quickchick_2.1.0-1.1build5.debian.tar.xz
3.1K
2026-03-07 19:00:05
coq-quickchick_2.1.0-1.1build5.dsc
2.2K
2026-03-07 19:00:05
libcoq-quickchick_2.1.0-1build4_amd64.deb
4.31M
2025-09-01 19:52:29
quickchick_2.1.0-1build4_amd64.deb
0.52M
2025-09-01 19:52:29
coq-quickchick_2.1.0-1build4.debian.tar.xz
3.0K
2025-08-31 19:42:09
coq-quickchick_2.1.0-1build4.dsc
2.2K
2025-08-31 19:42:09
coq-quickchick_2.1.0.orig.tar.gz
404.8K
2025-05-01 16:23:25
libcoq-quickchick_2.0.5-1build6_amd64.deb
4.29M
2025-02-20 04:20:13
quickchick_2.0.5-1build6_amd64.deb
0.54M
2025-02-20 04:20:13
coq-quickchick_2.0.5-1build6.debian.tar.xz
3.0K
2025-02-19 07:52:06
coq-quickchick_2.0.5-1build6.dsc
2.2K
2025-02-19 07:52:06
coq-quickchick_2.0.5.orig.tar.gz
403.3K
2024-12-18 23:41:43
libcoq-quickchick_2.0.2-1build5_amd64.deb
1.86M
2024-04-08 14:36:31
quickchick_2.0.2-1build5_amd64.deb
65.0K
2024-04-08 14:36:31
coq-quickchick_2.0.2-1build5.debian.tar.xz
3.2K
2024-04-08 07:57:38
coq-quickchick_2.0.2-1build5.dsc
2.3K
2024-04-08 07:57:38
coq-quickchick_2.0.2.orig.tar.gz
405.9K
2024-01-20 23:35:34