Studenten Net Twente Mirror service

Index of /pub/os/linux/ubuntu/pool/universe/c/coq-libhyps/

Filename Modification time Size
coq-libhyps_2.0.8-1build4.debian.tar.xz 2324 B
coq-libhyps_2.0.8-1build4.dsc 2150 B
coq-libhyps_2.0.8-4build7.debian.tar.xz 2452 B
coq-libhyps_2.0.8-4build7.dsc 2071 B
coq-libhyps_2.0.8-4build8.debian.tar.xz 2480 B
coq-libhyps_2.0.8-4build8.dsc 2071 B
coq-libhyps_2.0.8-4build11.debian.tar.xz 2560 B
coq-libhyps_2.0.8-4build11.dsc 2075 B
coq-libhyps_2.0.8.orig.tar.gz 36 KiB
coq-libhyps_5.0.0-2build1.debian.tar.xz 2388 B
coq-libhyps_5.0.0-2build1.dsc 2078 B
coq-libhyps_5.0.0-2build2.debian.tar.xz 2400 B
coq-libhyps_5.0.0-2build2.dsc 2078 B
coq-libhyps_5.0.0.orig.tar.gz 47 KiB
libcoq-libhyps_2.0.8-1build4_amd64.deb 76 KiB
libcoq-libhyps_2.0.8-4build7_amd64.deb 70 KiB
libcoq-libhyps_2.0.8-4build8_amd64.deb 70 KiB
libcoq-libhyps_2.0.8-4build8_arm64.deb 70 KiB
libcoq-libhyps_2.0.8-4build11_amd64.deb 70 KiB
libcoq-libhyps_2.0.8-4build11_amd64v3.deb 70 KiB
libcoq-libhyps_2.0.8-4build11_arm64.deb 70 KiB
libcoq-libhyps_5.0.0-2_amd64.deb 88 KiB
libcoq-libhyps_5.0.0-2_amd64v3.deb 88 KiB
libcoq-libhyps_5.0.0-2_arm64.deb 88 KiB
libcoq-libhyps_5.0.0-2build2_arm64.deb 88 KiB