mirrors.hosterion.ro

Name Last Modified Size
Parent Directory/   -  
coqeal_1.1.1-3.debian.tar.xz 2023-01-27 16:30 2.1K
coqeal_1.1.1-3.dsc 2023-01-27 16:30 2.1K
coqeal_1.1.1.orig.tar.gz 2022-07-08 07:23 213.6K
coqeal_2.1.0-1.debian.tar.xz 2025-03-18 12:33 2.4K
coqeal_2.1.0-1.dsc 2025-03-18 12:33 2.1K
coqeal_2.1.0.orig.tar.gz 2025-03-18 12:33 221.4K
coqeal_2.1.1-1.debian.tar.xz 2025-10-30 09:09 2.4K
coqeal_2.1.1-1.dsc 2025-10-30 09:09 2.1K
coqeal_2.1.1.orig.tar.gz 2025-10-30 09:09 222.1K
libcoq-coqeal_1.1.1-3+b1_amd64.deb 2023-02-14 06:27 4.4M
libcoq-coqeal_1.1.1-3+b1_arm64.deb 2023-02-14 06:27 4.4M
libcoq-coqeal_1.1.1-3+b1_armhf.deb 2023-02-14 06:26 4.4M
libcoq-coqeal_1.1.1-3+b1_i386.deb 2023-02-14 06:27 4.4M
libcoq-coqeal_1.1.1-3+b1_ppc64el.deb 2023-02-14 07:27 4.4M
libcoq-coqeal_1.1.1-3+b1_s390x.deb 2023-02-14 07:17 4.4M
libcoq-coqeal_2.1.0-1+b1_amd64.deb 2025-06-15 11:15 5.3M
libcoq-coqeal_2.1.0-1+b1_arm64.deb 2025-06-15 11:20 5.3M
libcoq-coqeal_2.1.0-1+b1_ppc64el.deb 2025-06-15 11:25 5.3M
libcoq-coqeal_2.1.0-1+b1_riscv64.deb 2025-06-17 23:33 5.3M
libcoq-coqeal_2.1.0-1+b1_s390x.deb 2025-06-17 23:48 5.3M
libcoq-coqeal_2.1.0-1+b6_amd64.deb 2025-10-17 13:38 5.3M
libcoq-coqeal_2.1.0-1+b6_arm64.deb 2025-10-17 14:08 5.3M
libcoq-coqeal_2.1.0-1+b6_ppc64el.deb 2025-10-17 15:09 5.3M
libcoq-coqeal_2.1.0-1+b6_riscv64.deb 2025-10-18 06:26 5.3M
libcoq-coqeal_2.1.0-1+b6_s390x.deb 2025-10-17 15:04 5.3M
libcoq-coqeal_2.1.0-1+b7_amd64.deb 2025-10-28 22:12 5.3M
libcoq-coqeal_2.1.0-1+b7_arm64.deb 2025-10-28 22:17 5.3M
libcoq-coqeal_2.1.0-1+b7_ppc64el.deb 2025-10-28 22:17 5.3M
libcoq-coqeal_2.1.0-1+b7_riscv64.deb 2025-10-29 13:48 5.3M
libcoq-coqeal_2.1.0-1+b7_s390x.deb 2025-10-28 22:17 5.3M
libcoq-coqeal_2.1.1-1_amd64.deb 2025-10-30 09:09 6.1M
libcoq-coqeal_2.1.1-1_arm64.deb 2025-10-30 15:15 5.3M
libcoq-coqeal_2.1.1-1_ppc64el.deb 2025-10-30 21:08 5.3M
libcoq-coqeal_2.1.1-1_s390x.deb 2025-10-31 11:49 5.3M