mirror-gw.elastis.id
(mirror-gw.elastis.id)
ubuntu
pool
universe
c
coq-quickchick
Name
Last modified
Size
(File)
libcoq-quickchick_2.0.2-1build5_amd64.deb
April 8, 2024 9:36 PM
1.9M
(File)
libcoq-quickchick_2.0.5-1build6_amd64.deb
February 20, 2025 11:20 AM
4.3M
(File)
quickchick_2.0.2-1build5_amd64.deb
April 8, 2024 9:36 PM
65K
(File)
quickchick_2.0.5-1build6_amd64.deb
February 20, 2025 11:20 AM
554K