![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | coq-quickchick_1.6.4-1.debian.tar.xz | 15-Aug-2022 09:39 | 2.6K | |
![]() | coq-quickchick_1.6.4-1.dsc | 15-Aug-2022 09:39 | 2.2K | |
![]() | coq-quickchick_1.6.4-3.debian.tar.xz | 27-Jan-2023 08:55 | 2.7K | |
![]() | coq-quickchick_1.6.4-3.dsc | 27-Jan-2023 08:55 | 2.2K | |
![]() | coq-quickchick_1.6.4.orig.tar.gz | 15-Aug-2022 09:39 | 379K | |
![]() | libcoq-quickchick_1.6.4-1_amd64.deb | 22-Aug-2022 04:54 | 1.7M | |
![]() | libcoq-quickchick_1.6.4-3_amd64.deb | 27-Jan-2023 08:55 | 1.7M | |
![]() | quickchick_1.6.4-1_amd64.deb | 22-Aug-2022 04:54 | 62K | |
![]() | quickchick_1.6.4-3_amd64.deb | 27-Jan-2023 08:55 | 62K | |