Index of /mirrors/ftp.debian.org/debian/pool/main/c/coqeal

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coqeal_1.1.1-3.debian.tar.xz2023-01-27 18:30 2.1K 
[ ]coqeal_1.1.1-3.dsc2023-01-27 18:30 2.1K 
[ ]coqeal_1.1.1.orig.tar.gz2022-07-08 10:23 214K 
[ ]coqeal_1.1.3-1.debian.tar.xz2023-06-20 13:02 2.2K 
[ ]coqeal_1.1.3-1.dsc2023-06-20 13:02 2.1K 
[ ]coqeal_1.1.3.orig.tar.gz2023-06-20 13:02 213K 
[ ]coqeal_2.0.0-1.debian.tar.xz2023-12-22 13:07 2.2K 
[ ]coqeal_2.0.0-1.dsc2023-12-22 13:07 2.1K 
[ ]coqeal_2.0.0.orig.tar.gz2023-12-22 13:07 211K 
[ ]libcoq-coqeal_1.1.1-3+b1_amd64.deb2023-02-14 08:27 4.4M 
[ ]libcoq-coqeal_1.1.1-3+b1_arm64.deb2023-02-14 08:27 4.4M 
[ ]libcoq-coqeal_1.1.1-3+b1_armhf.deb2023-02-14 08:26 4.4M 
[ ]libcoq-coqeal_1.1.1-3+b1_i386.deb2023-02-14 08:27 4.4M 
[ ]libcoq-coqeal_1.1.1-3+b1_ppc64el.deb2023-02-14 09:27 4.4M 
[ ]libcoq-coqeal_1.1.1-3+b1_s390x.deb2023-02-14 09:17 4.4M 
[ ]libcoq-coqeal_1.1.3-1+b1_riscv64.deb2023-09-24 21:37 4.4M 
[ ]libcoq-coqeal_1.1.3-1+b2_amd64.deb2023-09-22 16:28 4.4M 
[ ]libcoq-coqeal_1.1.3-1+b2_arm64.deb2023-09-22 16:28 4.4M 
[ ]libcoq-coqeal_1.1.3-1+b2_armhf.deb2023-09-22 16:43 4.4M 
[ ]libcoq-coqeal_1.1.3-1+b2_i386.deb2023-09-22 16:28 4.4M 
[ ]libcoq-coqeal_1.1.3-1+b2_ppc64el.deb2023-09-22 17:14 4.4M 
[ ]libcoq-coqeal_1.1.3-1+b2_s390x.deb2023-09-22 16:43 4.4M 
[ ]libcoq-coqeal_2.0.0-1_amd64.deb2023-12-27 13:51 4.6M 
[ ]libcoq-coqeal_2.0.0-1_arm64.deb2023-12-27 13:57 4.6M 
[ ]libcoq-coqeal_2.0.0-1_armhf.deb2024-01-01 02:53 4.6M 
[ ]libcoq-coqeal_2.0.0-1_i386.deb2023-12-27 13:52 4.6M 
[ ]libcoq-coqeal_2.0.0-1_ppc64el.deb2023-12-27 13:51 4.6M 
[ ]libcoq-coqeal_2.0.0-1_riscv64.deb2024-01-04 12:01 4.6M 
[ ]libcoq-coqeal_2.0.0-1_s390x.deb2024-01-01 02:43 4.6M 
Apache/2.4.41 (Ubuntu) Server at temas.df.lu.lv Port 80