Index of /debian/pool/main/c/coq-elpi

Name ↑ Last modified Size
Parent Directory  -  -
coq-elpi_1.16.0-2.debian.tar.xz  25-Jan-2023 06:56  3.3 KiB
coq-elpi_1.16.0-2.dsc  25-Jan-2023 06:56  2.0 KiB
coq-elpi_1.16.0.orig.tar.gz  20-Nov-2022 15:35  416 KiB
coq-elpi_2.5.0-1.1.debian.tar.xz  17-Jun-2025 07:00  3.8 KiB
coq-elpi_2.5.0-1.1.dsc  17-Jun-2025 07:00  2.0 KiB
coq-elpi_2.5.0-1.2.debian.tar.xz  28-Oct-2025 12:55  3.8 KiB
coq-elpi_2.5.0-1.2.dsc  28-Oct-2025 12:55  2.0 KiB
coq-elpi_2.5.0.orig.tar.gz  18-Mar-2025 12:33  728 KiB
coq-elpi_3.5.0-1.debian.tar.xz  28-Jul-2026 09:29  5.3 KiB
coq-elpi_3.5.0-1.dsc  28-Jul-2026 09:29  2.1 KiB
coq-elpi_3.5.0-2.debian.tar.xz  03-Aug-2026 09:43  5.6 KiB
coq-elpi_3.5.0-2.dsc  03-Aug-2026 09:43  2.1 KiB
coq-elpi_3.5.0.orig.tar.gz  28-Jul-2026 09:29  1.1 MiB
libcoq-elpi_1.16.0-2+b1_amd64.deb  14-Feb-2023 09:59  2.3 MiB
libcoq-elpi_1.16.0-2+b1_i386.deb  14-Feb-2023 09:49  2.2 MiB
libcoq-elpi_2.5.0-1.1_amd64.deb  17-Jun-2025 07:16  12 MiB
libcoq-elpi_3.5.0-1+b1_amd64.deb  28-Jul-2026 10:15  12 MiB
libcoq-elpi_3.5.0-2+b1_amd64.deb  03-Aug-2026 13:36  12 MiB
libcoq-elpi_3.5.0-2_amd64.deb  03-Aug-2026 09:43  12 MiB
pub.gotlandia.net — 0 directories, 19 files