Name(Sorted by descending file name)Last modifiedSize
(File)
quickchick_2.0.5-1build6_amd64.deb
February 20, 2025 11:20 AM
554K
(File)
quickchick_2.0.2-1build5_amd64.deb
April 8, 2024 9:36 PM
65K
(File)
libcoq-quickchick_2.0.5-1build6_amd64.deb
February 20, 2025 11:20 AM
4.3M
(File)
libcoq-quickchick_2.0.2-1build5_amd64.deb
April 8, 2024 9:36 PM
1.9M