Works best with JavaScript enabled!Works best in modern browsers!powered by h5ai
NameLast modifiedSize
folder-parentParent Directory
filecoq-gappa_1.5.2-5.debian.tar.xz2023-01-26 12:442 KB
filecoq-gappa_1.5.2-5.dsc2023-01-26 12:442 KB
filecoq-gappa_1.5.2.orig.tar.bz22022-07-19 07:0073 KB
filecoq-gappa_1.7.0-1.debian.tar.xz2025-02-20 15:412 KB
filecoq-gappa_1.7.0-1.dsc2025-02-20 15:412 KB
filecoq-gappa_1.7.0.orig.tar.bz22025-02-20 15:4176 KB
filecoq-gappa_1.7.1-1.debian.tar.xz2025-10-29 09:192 KB
filecoq-gappa_1.7.1-1.dsc2025-10-29 09:192 KB
filecoq-gappa_1.7.1.orig.tar.bz22025-10-29 09:1976 KB
filelibcoq-gappa_1.5.2-5+b1_amd64.deb2023-02-13 07:28515 KB
filelibcoq-gappa_1.5.2-5+b1_arm64.deb2023-02-13 07:28518 KB
filelibcoq-gappa_1.5.2-5+b1_armhf.deb2023-02-13 07:28514 KB
filelibcoq-gappa_1.5.2-5+b1_i386.deb2023-02-13 07:08512 KB
filelibcoq-gappa_1.5.2-5+b1_ppc64el.deb2023-02-14 10:44515 KB
filelibcoq-gappa_1.5.2-5+b1_s390x.deb2023-02-13 07:08516 KB
filelibcoq-gappa_1.7.0-1+b1_amd64.deb2025-06-15 11:15550 KB
filelibcoq-gappa_1.7.0-1+b1_arm64.deb2025-06-15 11:15553 KB
filelibcoq-gappa_1.7.0-1+b1_ppc64el.deb2025-06-15 11:15549 KB
filelibcoq-gappa_1.7.0-1+b1_riscv64.deb2025-06-15 12:00551 KB
filelibcoq-gappa_1.7.0-1+b2_s390x.deb2025-06-17 19:59551 KB
filelibcoq-gappa_1.7.1-1_amd64.deb2025-10-29 09:19556 KB
filelibcoq-gappa_1.7.1-1_arm64.deb2025-10-29 12:16553 KB
filelibcoq-gappa_1.7.1-1_ppc64el.deb2025-10-29 12:05549 KB
filelibcoq-gappa_1.7.1-1_s390x.deb2025-10-29 13:17550 KB