Index of /mirrors/archive.ubuntu.com/ubuntu/pool/universe/c/coq-quickchick/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-quickchick_2.0.2-1build5.debian.tar.xz2024-Apr-08 09:57:383.2Kapplication/octet-stream
coq-quickchick_2.0.2-1build5.dsc2024-Apr-08 09:57:382.3Kapplication/octet-stream
coq-quickchick_2.0.2.orig.tar.gz2024-Jan-21 00:35:34405.8Kapplication/x-gzip
coq-quickchick_2.0.5-1build6.debian.tar.xz2025-Feb-19 08:52:062.9Kapplication/octet-stream
coq-quickchick_2.0.5-1build6.dsc2025-Feb-19 08:52:062.2Kapplication/octet-stream
coq-quickchick_2.0.5.orig.tar.gz2024-Dec-19 00:41:43403.3Kapplication/x-gzip
coq-quickchick_2.1.0-1build4.debian.tar.xz2025-Aug-31 21:42:092.9Kapplication/octet-stream
coq-quickchick_2.1.0-1build4.dsc2025-Aug-31 21:42:092.2Kapplication/octet-stream
coq-quickchick_2.1.0.orig.tar.gz2025-May-01 18:23:25404.8Kapplication/x-gzip
libcoq-quickchick_2.0.2-1build5_amd64.deb2024-Apr-08 16:36:311.8Mapplication/octet-stream
libcoq-quickchick_2.0.5-1build6_amd64.deb2025-Feb-20 05:20:134.2Mapplication/octet-stream
libcoq-quickchick_2.1.0-1build4_amd64.deb2025-Sep-01 21:52:294.3Mapplication/octet-stream
quickchick_2.0.2-1build5_amd64.deb2024-Apr-08 16:36:3164.9Kapplication/octet-stream
quickchick_2.0.5-1build6_amd64.deb2025-Feb-20 05:20:13553.7Kapplication/octet-stream
quickchick_2.1.0-1build4_amd64.deb2025-Sep-01 21:52:29528.5Kapplication/octet-stream
lighttpd/1.4.19