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

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


../
coq-quickchick_2.0.2-1build5.debian.tar.xz         08-Apr-2024 07:57                3300
coq-quickchick_2.0.2-1build5.dsc                   08-Apr-2024 07:57                2353
coq-quickchick_2.0.2.orig.tar.gz                   20-Jan-2024 23:35              415619
coq-quickchick_2.0.5-1build6.debian.tar.xz         19-Feb-2025 07:52                3064
coq-quickchick_2.0.5-1build6.dsc                   19-Feb-2025 07:52                2274
coq-quickchick_2.0.5.orig.tar.gz                   18-Dec-2024 23:41              413023
coq-quickchick_2.1.0-1.1build2.debian.tar.xz       06-Nov-2025 09:20                3132
coq-quickchick_2.1.0-1.1build2.dsc                 06-Nov-2025 09:20                2282
coq-quickchick_2.1.0-1build4.debian.tar.xz         31-Aug-2025 19:42                3048
coq-quickchick_2.1.0-1build4.dsc                   31-Aug-2025 19:42                2274
coq-quickchick_2.1.0.orig.tar.gz                   01-May-2025 16:23              414544
libcoq-quickchick_2.0.2-1build5_amd64.deb          08-Apr-2024 14:36             1950450
libcoq-quickchick_2.0.5-1build6_amd64.deb          20-Feb-2025 04:20             4501446
libcoq-quickchick_2.1.0-1.1build2_amd64.deb        06-Nov-2025 20:01             4517602
libcoq-quickchick_2.1.0-1.1build2_amd64v3.deb      06-Nov-2025 20:01             4517752
libcoq-quickchick_2.1.0-1build4_amd64.deb          01-Sep-2025 19:52             4517798
quickchick_2.0.2-1build5_amd64.deb                 08-Apr-2024 14:36               66526
quickchick_2.0.5-1build6_amd64.deb                 20-Feb-2025 04:20              567026
quickchick_2.1.0-1.1build2_amd64.deb               06-Nov-2025 20:01              538762
quickchick_2.1.0-1.1build2_amd64v3.deb             06-Nov-2025 20:01              538838
quickchick_2.1.0-1build4_amd64.deb                 01-Sep-2025 19:52              541188

DISCLAIMER

This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.