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

Icon  Name                                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                                   -   
[   ] coq-quickchick_1.6.4-3build3.debian.tar.xz    2023-02-16 23:29  2.7K  
[TXT] coq-quickchick_1.6.4-3build3.dsc              2023-02-16 23:29  2.2K  
[   ] coq-quickchick_1.6.4.orig.tar.gz              2022-08-15 04:39  379K  
[   ] coq-quickchick_2.0-2build1.debian.tar.xz      2023-07-24 10:37  2.9K  
[TXT] coq-quickchick_2.0-2build1.dsc                2023-07-24 10:37  2.2K  
[   ] coq-quickchick_2.0.2-1build5.debian.tar.xz    2024-04-08 00:57  3.2K  
[TXT] coq-quickchick_2.0.2-1build5.dsc              2024-04-08 00:57  2.3K  
[   ] coq-quickchick_2.0.2.orig.tar.gz              2024-01-20 15:35  406K  
[   ] coq-quickchick_2.0.3-2build6.debian.tar.xz    2024-06-15 07:43  2.9K  
[TXT] coq-quickchick_2.0.3-2build6.dsc              2024-06-15 07:43  2.2K  
[   ] coq-quickchick_2.0.3-3.debian.tar.xz          2024-08-04 04:34  2.8K  
[TXT] coq-quickchick_2.0.3-3.dsc                    2024-08-04 04:34  2.0K  
[   ] coq-quickchick_2.0.3-3build1.debian.tar.xz    2024-08-09 06:49  2.8K  
[TXT] coq-quickchick_2.0.3-3build1.dsc              2024-08-09 06:49  2.2K  
[   ] coq-quickchick_2.0.3-3build2.debian.tar.xz    2024-08-15 00:47  2.9K  
[TXT] coq-quickchick_2.0.3-3build2.dsc              2024-08-15 00:47  2.2K  
[   ] coq-quickchick_2.0.3-3build3.debian.tar.xz    2024-09-07 20:03  2.9K  
[TXT] coq-quickchick_2.0.3-3build3.dsc              2024-09-07 20:03  2.2K  
[   ] coq-quickchick_2.0.3-3build4.debian.tar.xz    2024-09-11 13:51  2.9K  
[TXT] coq-quickchick_2.0.3-3build4.dsc              2024-09-11 13:51  2.2K  
[   ] coq-quickchick_2.0.3-3build5.debian.tar.xz    2024-09-17 09:56  2.9K  
[TXT] coq-quickchick_2.0.3-3build5.dsc              2024-09-17 09:56  2.2K  
[   ] coq-quickchick_2.0.3-3build6.debian.tar.xz    2024-11-20 02:28  3.0K  
[TXT] coq-quickchick_2.0.3-3build6.dsc              2024-11-20 02:28  2.2K  
[   ] coq-quickchick_2.0.3.orig.tar.gz              2024-05-02 04:53  402K  
[   ] coq-quickchick_2.0.4-1.debian.tar.xz          2024-11-20 10:47  2.8K  
[TXT] coq-quickchick_2.0.4-1.dsc                    2024-11-20 10:47  2.2K  
[   ] coq-quickchick_2.0.4-1build1.debian.tar.xz    2024-11-21 06:00  2.9K  
[TXT] coq-quickchick_2.0.4-1build1.dsc              2024-11-21 06:00  2.2K  
[   ] coq-quickchick_2.0.4.orig.tar.gz              2024-11-20 10:47  403K  
[   ] coq-quickchick_2.0.5-1.debian.tar.xz          2024-12-18 15:41  2.8K  
[TXT] coq-quickchick_2.0.5-1.dsc                    2024-12-18 15:41  2.2K  
[   ] coq-quickchick_2.0.5-1build1.debian.tar.xz    2024-12-20 06:16  2.9K  
[TXT] coq-quickchick_2.0.5-1build1.dsc              2024-12-20 06:16  2.2K  
[   ] coq-quickchick_2.0.5-1build2.debian.tar.xz    2025-01-10 04:21  2.9K  
[TXT] coq-quickchick_2.0.5-1build2.dsc              2025-01-10 04:21  2.2K  
[   ] coq-quickchick_2.0.5-1build3.debian.tar.xz    2025-01-23 01:05  2.9K  
[TXT] coq-quickchick_2.0.5-1build3.dsc              2025-01-23 01:05  2.2K  
[   ] coq-quickchick_2.0.5-1build4.debian.tar.xz    2025-01-31 00:45  3.0K  
[TXT] coq-quickchick_2.0.5-1build4.dsc              2025-01-31 00:45  2.2K  
[   ] coq-quickchick_2.0.5-1build5.debian.tar.xz    2025-02-12 14:46  3.0K  
[TXT] coq-quickchick_2.0.5-1build5.dsc              2025-02-12 14:46  2.2K  
[   ] coq-quickchick_2.0.5-1build6.debian.tar.xz    2025-02-18 23:52  3.0K  
[TXT] coq-quickchick_2.0.5-1build6.dsc              2025-02-18 23:52  2.2K  
[   ] coq-quickchick_2.0.5.orig.tar.gz              2024-12-18 15:41  403K  
[   ] coq-quickchick_2.0.orig.tar.gz                2023-06-14 16:24  400K  
[   ] coq-quickchick_2.1.0-1.1.debian.tar.xz        2025-10-19 05:39  2.9K  
[TXT] coq-quickchick_2.1.0-1.1.dsc                  2025-10-19 05:39  2.2K  
[   ] coq-quickchick_2.1.0-1.1build1.debian.tar.xz  2025-10-22 17:05  3.1K  
[TXT] coq-quickchick_2.1.0-1.1build1.dsc            2025-10-22 17:05  2.2K  
[   ] coq-quickchick_2.1.0-1.1build2.debian.tar.xz  2025-11-06 01:20  3.1K  
[TXT] coq-quickchick_2.1.0-1.1build2.dsc            2025-11-06 01:20  2.2K  
[   ] coq-quickchick_2.1.0-1.1build3.debian.tar.xz  2026-01-04 15:06  3.1K  
[TXT] coq-quickchick_2.1.0-1.1build3.dsc            2026-01-04 15:06  2.2K  
[   ] coq-quickchick_2.1.0-1.1build4.debian.tar.xz  2026-01-27 16:59  3.1K  
[TXT] coq-quickchick_2.1.0-1.1build4.dsc            2026-01-27 16:59  2.2K  
[   ] coq-quickchick_2.1.0-1.1build5.debian.tar.xz  2026-03-07 11:00  3.1K  
[TXT] coq-quickchick_2.1.0-1.1build5.dsc            2026-03-07 11:00  2.2K  
[   ] coq-quickchick_2.1.0-1.debian.tar.xz          2025-05-01 09:23  2.8K  
[TXT] coq-quickchick_2.1.0-1.dsc                    2025-05-01 09:23  2.2K  
[   ] coq-quickchick_2.1.0-1build1.debian.tar.xz    2025-05-08 04:58  2.9K  
[TXT] coq-quickchick_2.1.0-1build1.dsc              2025-05-08 04:58  2.2K  
[   ] coq-quickchick_2.1.0-1build2.debian.tar.xz    2025-05-28 01:21  3.0K  
[TXT] coq-quickchick_2.1.0-1build2.dsc              2025-05-28 01:21  2.2K  
[   ] coq-quickchick_2.1.0-1build3.debian.tar.xz    2025-06-19 10:20  3.0K  
[TXT] coq-quickchick_2.1.0-1build3.dsc              2025-06-19 10:20  2.2K  
[   ] coq-quickchick_2.1.0-1build4.debian.tar.xz    2025-08-31 12:42  3.0K  
[TXT] coq-quickchick_2.1.0-1build4.dsc              2025-08-31 12:42  2.2K  
[   ] coq-quickchick_2.1.0.orig.tar.gz              2025-05-01 09:23  405K  
[   ] libcoq-quickchick_1.6.4-3build3_amd64.deb     2023-02-16 23:29  1.7M  
[   ] libcoq-quickchick_2.0-2build1_amd64.deb       2023-07-26 02:58  2.0M  
[   ] libcoq-quickchick_2.0.2-1build5_amd64.deb     2024-04-08 07:36  1.9M  
[   ] libcoq-quickchick_2.0.3-2build6_amd64.deb     2024-06-15 14:48  3.6M  
[   ] libcoq-quickchick_2.0.3-3_amd64.deb           2024-08-04 19:54  3.8M  
[   ] libcoq-quickchick_2.0.3-3build2_amd64.deb     2024-09-07 14:39  4.3M  
[   ] libcoq-quickchick_2.0.3-3build3_amd64.deb     2024-09-07 20:03  4.3M  
[   ] libcoq-quickchick_2.0.3-3build4_amd64.deb     2024-09-12 14:28  4.3M  
[   ] libcoq-quickchick_2.0.3-3build5_amd64.deb     2024-09-19 16:39  4.3M  
[   ] libcoq-quickchick_2.0.3-3build6_amd64.deb     2024-11-20 02:29  4.3M  
[   ] libcoq-quickchick_2.0.4-1_amd64.deb           2024-11-20 10:48  4.3M  
[   ] libcoq-quickchick_2.0.4-1build1_amd64.deb     2024-11-21 06:01  4.3M  
[   ] libcoq-quickchick_2.0.5-1_amd64.deb           2024-12-18 16:49  4.3M  
[   ] libcoq-quickchick_2.0.5-1build1_amd64.deb     2024-12-20 06:16  4.3M  
[   ] libcoq-quickchick_2.0.5-1build2_amd64.deb     2025-01-10 07:56  4.3M  
[   ] libcoq-quickchick_2.0.5-1build3_amd64.deb     2025-01-26 01:36  4.3M  
[   ] libcoq-quickchick_2.0.5-1build4_amd64.deb     2025-02-02 04:45  4.3M  
[   ] libcoq-quickchick_2.0.5-1build5_amd64.deb     2025-02-15 11:04  4.3M  
[   ] libcoq-quickchick_2.0.5-1build6_amd64.deb     2025-02-19 20:20  4.3M  
[   ] libcoq-quickchick_2.1.0-1.1build1_amd64.deb   2025-10-26 01:16  4.3M  
[   ] libcoq-quickchick_2.1.0-1.1build1_amd64v3.deb 2025-10-26 01:16  4.3M  
[   ] libcoq-quickchick_2.1.0-1.1build2_amd64.deb   2025-11-06 12:01  4.3M  
[   ] libcoq-quickchick_2.1.0-1.1build2_amd64v3.deb 2025-11-06 12:01  4.3M  
[   ] libcoq-quickchick_2.1.0-1.1build3_amd64.deb   2026-01-06 00:32  4.0M  
[   ] libcoq-quickchick_2.1.0-1.1build3_amd64v3.deb 2026-01-06 00:32  4.0M  
[   ] libcoq-quickchick_2.1.0-1.1build4_amd64.deb   2026-01-31 00:17  4.0M  
[   ] libcoq-quickchick_2.1.0-1.1build4_amd64v3.deb 2026-01-31 00:17  4.0M  
[   ] libcoq-quickchick_2.1.0-1.1build5_amd64.deb   2026-03-07 11:01  4.0M  
[   ] libcoq-quickchick_2.1.0-1.1build5_amd64v3.deb 2026-03-07 11:02  4.0M  
[   ] libcoq-quickchick_2.1.0-1.1build5_arm64.deb   2026-03-07 11:03  4.0M  
[   ] libcoq-quickchick_2.1.0-1_amd64.deb           2025-05-01 12:15  4.3M  
[   ] libcoq-quickchick_2.1.0-1build1_amd64.deb     2025-05-08 08:28  4.3M  
[   ] libcoq-quickchick_2.1.0-1build2_amd64.deb     2025-05-28 07:51  4.3M  
[   ] libcoq-quickchick_2.1.0-1build3_amd64.deb     2025-06-20 16:24  4.3M  
[   ] libcoq-quickchick_2.1.0-1build4_amd64.deb     2025-09-01 12:52  4.3M  
[   ] libcoq-quickchick_2.1.0-1build4_arm64.deb     2025-09-01 12:52  4.3M  
[   ] quickchick_1.6.4-3build3_amd64.deb            2023-02-16 23:29   62K  
[   ] quickchick_2.0-2build1_amd64.deb              2023-07-26 02:58   62K  
[   ] quickchick_2.0.2-1build5_amd64.deb            2024-04-08 07:36   65K  
[   ] quickchick_2.0.3-2build6_amd64.deb            2024-06-15 14:48  449K  
[   ] quickchick_2.0.3-3_amd64.deb                  2024-08-04 19:54  449K  
[   ] quickchick_2.0.3-3build2_amd64.deb            2024-09-07 14:39  518K  
[   ] quickchick_2.0.3-3build3_amd64.deb            2024-09-07 20:03  518K  
[   ] quickchick_2.0.3-3build4_amd64.deb            2024-09-12 14:28  517K  
[   ] quickchick_2.0.3-3build5_amd64.deb            2024-09-19 16:39  517K  
[   ] quickchick_2.0.3-3build6_amd64.deb            2024-11-20 02:29  517K  
[   ] quickchick_2.0.4-1_amd64.deb                  2024-11-20 10:48  517K  
[   ] quickchick_2.0.4-1build1_amd64.deb            2024-11-21 06:01  517K  
[   ] quickchick_2.0.5-1_amd64.deb                  2024-12-18 16:49  522K  
[   ] quickchick_2.0.5-1build1_amd64.deb            2024-12-20 06:16  517K  
[   ] quickchick_2.0.5-1build2_amd64.deb            2025-01-10 07:56  517K  
[   ] quickchick_2.0.5-1build3_amd64.deb            2025-01-26 01:36  517K  
[   ] quickchick_2.0.5-1build4_amd64.deb            2025-02-02 04:45  553K  
[   ] quickchick_2.0.5-1build5_amd64.deb            2025-02-15 11:04  553K  
[   ] quickchick_2.0.5-1build6_amd64.deb            2025-02-19 20:20  554K  
[   ] quickchick_2.1.0-1.1build1_amd64.deb          2025-10-26 01:16  526K  
[   ] quickchick_2.1.0-1.1build1_amd64v3.deb        2025-10-26 01:16  526K  
[   ] quickchick_2.1.0-1.1build2_amd64.deb          2025-11-06 12:01  526K  
[   ] quickchick_2.1.0-1.1build2_amd64v3.deb        2025-11-06 12:01  526K  
[   ] quickchick_2.1.0-1.1build3_amd64.deb          2026-01-06 00:32  539K  
[   ] quickchick_2.1.0-1.1build3_amd64v3.deb        2026-01-06 00:32  539K  
[   ] quickchick_2.1.0-1.1build4_amd64.deb          2026-01-31 00:17  541K  
[   ] quickchick_2.1.0-1.1build4_amd64v3.deb        2026-01-31 00:17  538K  
[   ] quickchick_2.1.0-1.1build5_amd64.deb          2026-03-07 11:01  538K  
[   ] quickchick_2.1.0-1.1build5_amd64v3.deb        2026-03-07 11:02  538K  
[   ] quickchick_2.1.0-1.1build5_arm64.deb          2026-03-07 11:03  606K  
[   ] quickchick_2.1.0-1_amd64.deb                  2025-05-01 12:15  553K  
[   ] quickchick_2.1.0-1build1_amd64.deb            2025-05-08 08:28  553K  
[   ] quickchick_2.1.0-1build2_amd64.deb            2025-05-28 07:51  552K  
[   ] quickchick_2.1.0-1build3_amd64.deb            2025-06-20 16:24  529K  
[   ] quickchick_2.1.0-1build4_amd64.deb            2025-09-01 12:52  529K  
[   ] quickchick_2.1.0-1build4_arm64.deb            2025-09-01 12:52  602K