mirrors.hosterion.ro

  1. Home
  2. debian
  3. pool
  4. main
  5. c
  6. coq-reduction-effects
Name Last Modified Size
Parent Directory/   -  
coq-reduction-effects_0.1.4-3.debian.tar.xz 2023-01-25 07:47 1.5K
coq-reduction-effects_0.1.4-3.dsc 2023-01-25 07:47 2.2K
coq-reduction-effects_0.1.4.orig.tar.gz 2022-08-13 05:08 10.1K
coq-reduction-effects_0.1.5-5.debian.tar.xz 2024-08-04 03:53 1.8K
coq-reduction-effects_0.1.5-5.dsc 2024-08-04 03:53 1.9K
coq-reduction-effects_0.1.5.orig.tar.gz 2023-12-22 10:16 10.1K
coq-reduction-effects_0.1.6-1.debian.tar.xz 2025-10-29 08:39 1.9K
coq-reduction-effects_0.1.6-1.dsc 2025-10-29 08:39 2.2K
coq-reduction-effects_0.1.6.orig.tar.gz 2025-10-29 08:39 10.2K
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb 2023-02-13 05:11 14.1K
libcoq-reduction-effects_0.1.4-3+b1_arm64.deb 2023-02-13 05:11 14.3K
libcoq-reduction-effects_0.1.4-3+b1_armhf.deb 2023-02-13 05:26 13.7K
libcoq-reduction-effects_0.1.4-3+b1_i386.deb 2023-02-13 05:16 13.6K
libcoq-reduction-effects_0.1.4-3+b1_ppc64el.deb 2023-02-13 05:27 14.4K
libcoq-reduction-effects_0.1.4-3+b1_s390x.deb 2023-02-13 05:11 13.9K
libcoq-reduction-effects_0.1.5-5+b7_arm64.deb 2025-06-15 10:55 15.4K
libcoq-reduction-effects_0.1.5-5+b7_riscv64.deb 2025-06-15 11:35 15.2K
libcoq-reduction-effects_0.1.5-5+b7_s390x.deb 2025-06-16 18:19 15.3K
libcoq-reduction-effects_0.1.5-5+b8_amd64.deb 2025-06-15 10:49 15.3K
libcoq-reduction-effects_0.1.5-5+b8_ppc64el.deb 2025-06-15 10:44 15.4K
libcoq-reduction-effects_0.1.6-1_amd64.deb 2025-10-29 08:39 15.3K
libcoq-reduction-effects_0.1.6-1_arm64.deb 2025-10-29 12:16 15.2K
libcoq-reduction-effects_0.1.6-1_ppc64el.deb 2025-10-29 12:16 15.1K
libcoq-reduction-effects_0.1.6-1_s390x.deb 2025-10-29 13:48 15.0K