Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
libcoq-paramcoq_1.1.3+coq8.16-3build2_amd64.deb | 16-Feb-2023 13:50 | 126K | ||
libcoq-paramcoq_1.1.3+coq8.17-2_amd64.deb | 25-Jul-2023 14:49 | 126K | ||
libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb | 01-Apr-2024 02:51 | 127K | ||
paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz | 16-Feb-2023 13:50 | 2.9K | ||
paramcoq_1.1.3+coq8.16-3build2.dsc | 16-Feb-2023 13:50 | 2.1K | ||
paramcoq_1.1.3+coq8.16.orig.tar.gz | 05-Nov-2022 23:01 | 45K | ||
paramcoq_1.1.3+coq8.17-2.debian.tar.xz | 25-Jul-2023 13:54 | 3.0K | ||
paramcoq_1.1.3+coq8.17-2.dsc | 25-Jul-2023 13:54 | 2.1K | ||
paramcoq_1.1.3+coq8.17.orig.tar.gz | 13-Jun-2023 01:30 | 45K | ||
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz | 01-Apr-2024 01:43 | 3.2K | ||
paramcoq_1.1.3+coq8.18-1build2.dsc | 01-Apr-2024 01:43 | 2.1K | ||
paramcoq_1.1.3+coq8.18.orig.tar.gz | 22-Dec-2023 12:26 | 45K | ||