Index of /ubuntu/pool/universe/c/coq-quickchick/

NameLast ModifiedSizeType
../ -  Directory
coq-quickchick_2.0.2-1build5.debian.tar.xz2024-Apr-08 03:57:383.2Kapplication/octet-stream
coq-quickchick_2.0.2-1build5.dsc2024-Apr-08 03:57:382.3Kapplication/octet-stream
coq-quickchick_2.0.2.orig.tar.gz2024-Jan-20 18:35:34405.8Kapplication/octet-stream
coq-quickchick_2.0.3-3build5.debian.tar.xz2024-Sep-17 12:56:322.9Kapplication/octet-stream
coq-quickchick_2.0.3-3build5.dsc2024-Sep-17 12:56:322.2Kapplication/octet-stream
coq-quickchick_2.0.3.orig.tar.gz2024-May-02 07:53:14401.9Kapplication/octet-stream
coq-quickchick_2.0.5-1build1.debian.tar.xz2024-Dec-20 09:16:362.9Kapplication/octet-stream
coq-quickchick_2.0.5-1build1.dsc2024-Dec-20 09:16:362.2Kapplication/octet-stream
coq-quickchick_2.0.5.orig.tar.gz2024-Dec-18 18:41:43403.3Kapplication/octet-stream
libcoq-quickchick_2.0.2-1build5_amd64.deb2024-Apr-08 10:36:311.8Mapplication/octet-stream
libcoq-quickchick_2.0.3-3build5_amd64.deb2024-Sep-19 19:39:494.3Mapplication/octet-stream
libcoq-quickchick_2.0.5-1build1_amd64.deb2024-Dec-20 09:16:504.3Mapplication/octet-stream
quickchick_2.0.2-1build5_amd64.deb2024-Apr-08 10:36:3164.9Kapplication/octet-stream
quickchick_2.0.3-3build5_amd64.deb2024-Sep-19 19:39:49517.1Kapplication/octet-stream
quickchick_2.0.5-1build1_amd64.deb2024-Dec-20 09:16:50517.1Kapplication/octet-stream