mirrors.hosterion.ro

  1. Home
  2. debian
  3. pool
  4. main
  5. c
  6. coq-gappa
Name Last Modified Size
Parent Directory/   -  
coq-gappa_1.5.2-5.debian.tar.xz 2023-01-26 12:44 2.0K
coq-gappa_1.5.2-5.dsc 2023-01-26 12:44 2.0K
coq-gappa_1.5.2.orig.tar.bz2 2022-07-19 07:00 71.8K
coq-gappa_1.7.0-1.debian.tar.xz 2025-02-20 15:41 2.2K
coq-gappa_1.7.0-1.dsc 2025-02-20 15:41 2.0K
coq-gappa_1.7.0.orig.tar.bz2 2025-02-20 15:41 74.6K
libcoq-gappa_1.5.2-5+b1_amd64.deb 2023-02-13 07:28 503.7K
libcoq-gappa_1.5.2-5+b1_arm64.deb 2023-02-13 07:28 506.4K
libcoq-gappa_1.5.2-5+b1_armhf.deb 2023-02-13 07:28 502.1K
libcoq-gappa_1.5.2-5+b1_i386.deb 2023-02-13 07:08 500.3K
libcoq-gappa_1.5.2-5+b1_ppc64el.deb 2023-02-14 10:44 503.1K
libcoq-gappa_1.5.2-5+b1_s390x.deb 2023-02-13 07:08 504.1K
libcoq-gappa_1.7.0-1+b1_amd64.deb 2025-06-15 11:15 537.8K
libcoq-gappa_1.7.0-1+b1_arm64.deb 2025-06-15 11:15 540.9K
libcoq-gappa_1.7.0-1+b1_ppc64el.deb 2025-06-15 11:15 537.1K
libcoq-gappa_1.7.0-1+b1_riscv64.deb 2025-06-15 12:00 538.5K
libcoq-gappa_1.7.0-1+b2_s390x.deb 2025-06-17 19:59 538.3K