coq-quickchick

0 directories 8 files 2.3 MiB total

Name	Size	Modified
Up
coq-quickchick_1.6.4-3.debian.tar.xz	2.7 KiB	01/27/2023 06:18:56 AM +00:00
coq-quickchick_1.6.4-3.dsc	2.2 KiB	01/27/2023 06:18:56 AM +00:00
coq-quickchick_1.6.4.orig.tar.gz	379 KiB	08/15/2022 06:38:36 AM +00:00
coq-quickchick_2.1.0-1.debian.tar.xz	2.8 KiB	03/18/2025 12:33:51 PM +00:00
coq-quickchick_2.1.0-1.dsc	2.2 KiB	03/18/2025 12:33:51 PM +00:00
coq-quickchick_2.1.0.orig.tar.gz	405 KiB	03/18/2025 12:33:51 PM +00:00
libcoq-quickchick_1.6.4-3+b3_armhf.deb	1.5 MiB	05/22/2023 04:08:01 AM +00:00
quickchick_1.6.4-3+b3_armhf.deb	54 KiB	05/22/2023 04:08:01 AM +00:00