Index of /pub/Linux/debian/pool/main/c/coq-gappa
Name Last modified Size
Parent Directory -
libcoq-gappa_1.6.0-1+b1_riscv64.deb 2025-01-31 08:08 525K
libcoq-gappa_1.6.0-1+b1_s390x.deb 2025-01-30 18:39 525K
libcoq-gappa_1.6.0-1+b1_arm64.deb 2025-01-30 16:52 527K
libcoq-gappa_1.6.0-1+b1_amd64.deb 2025-01-30 16:52 524K
libcoq-gappa_1.6.0-1+b1_ppc64el.deb 2025-01-30 16:52 523K
coq-gappa_1.6.0.orig.tar.bz2 2025-01-24 06:57 74K
coq-gappa_1.6.0-1.dsc 2025-01-24 06:57 2.0K
coq-gappa_1.6.0-1.debian.tar.xz 2025-01-24 06:57 2.3K
libcoq-gappa_1.5.2-5+b1_ppc64el.deb 2023-02-14 19:44 503K
libcoq-gappa_1.5.2-5+b1_arm64.deb 2023-02-13 16:28 506K
libcoq-gappa_1.5.2-5+b1_amd64.deb 2023-02-13 16:28 504K
libcoq-gappa_1.5.2-5+b1_armhf.deb 2023-02-13 16:28 502K
libcoq-gappa_1.5.2-5+b1_s390x.deb 2023-02-13 16:08 504K
libcoq-gappa_1.5.2-5+b1_i386.deb 2023-02-13 16:08 500K
coq-gappa_1.5.2-5.dsc 2023-01-26 21:44 2.0K
coq-gappa_1.5.2-5.debian.tar.xz 2023-01-26 21:44 2.0K
coq-gappa_1.5.2.orig.tar.bz2 2022-07-19 16:00 72K