| Name | Last modified | Size | Description |
|
| Parent Directory | | - | |
| coq-quickchick_1.6.3-1_source.changes.bz2 | 2022-07-20 00:35 | 797 | |
| coq-quickchick_1.6.4-1_source.changes.bz2 | 2022-08-22 15:08 | 819 | |
| coq-quickchick_1.6.4-2build2_source.changes.bz2 | 2022-12-07 04:37 | 728 | |
| coq-quickchick_1.6.4-3_source.changes.bz2 | 2023-01-30 02:36 | 677 | |
| coq-quickchick_1.6.4-3build3_source.changes.bz2 | 2023-02-28 18:41 | 711 | |
| coq-quickchick_2.0-1_source.changes.bz2 | 2023-06-25 19:11 | 797 | |
| coq-quickchick_2.0-2_source.changes.bz2 | 2023-07-13 10:39 | 714 | |
| coq-quickchick_2.0-2build1_source.changes.bz2 | 2023-07-31 09:38 | 687 | |
| coq-quickchick_2.0-2build3_source.changes.bz2 | 2023-11-25 09:37 | 713 | |
| coq-quickchick_2.0.2-1build1_source.changes.bz2 | 2024-01-30 05:06 | 779 | |
| coq-quickchick_2.0.2-1build2_source.changes.bz2 | 2024-02-24 02:15 | 688 | |
| coq-quickchick_2.0.2-1build3_source.changes.bz2 | 2024-03-29 09:18 | 726 | |
| coq-quickchick_2.0.2-1build4_source.changes.bz2 | 2024-04-02 15:57 | 724 | |
| coq-quickchick_2.0.2-1build5_source.changes.bz2 | 2024-04-10 11:06 | 732 | |
| coq-quickchick_2.0.3-2_source.changes.bz2 | 2024-05-07 11:27 | 718 | |
| coq-quickchick_2.0.3-2build3_source.changes.bz2 | 2024-05-21 03:36 | 732 | |
| coq-quickchick_2.0.3-2build4_source.changes.bz2 | 2024-05-22 14:36 | 697 | |
| coq-quickchick_2.0.3-2build5_source.changes.bz2 | 2024-06-06 21:50 | 690 | |
| coq-quickchick_2.0.3-2build6_source.changes.bz2 | 2024-06-17 23:36 | 687 | |
| coq-quickchick_2.0.3-3_source.changes | 2024-08-06 02:36 | 1.1K | |
| coq-quickchick_2.0.3-3build3_source.changes | 2024-09-12 12:54 | 1.3K | |
| coq-quickchick_2.0.3-3build5_source.changes | 2024-09-20 20:35 | 1.3K | |
| coq-quickchick_2.0.4-1build1_source.changes | 2024-11-27 08:36 | 1.3K | |
| coq-quickchick_2.0.5-1_source.changes | 2024-12-20 08:49 | 1.4K | |
| coq-quickchick_2.0.5-1build1_source.changes | 2024-12-21 15:37 | 1.1K | |
| coq-quickchick_2.0.5-1build2_source.changes | 2025-01-11 01:06 | 1.2K | |
|