Folder Path
/
debian
/
pool
/
main
/
c
/
coq-quickchick
/
0
directories
7
files
3.5 MiB
total
List
Grid
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
libcoq-quickchick_1.6.4-3+b1_amd64.deb
1.5 MiB
02/14/2023 06:11:16 AM +00:00
libcoq-quickchick_1.6.4-3+b1_i386.deb
1.5 MiB
02/14/2023 06:16:25 AM +00:00
quickchick_1.6.4-3+b1_amd64.deb
54 KiB
02/14/2023 06:11:16 AM +00:00
quickchick_1.6.4-3+b1_i386.deb
54 KiB
02/14/2023 06:16:25 AM +00:00