Index of /mirrors/ftp.ubuntu.com/ubuntu/pool/universe/c/coq-reglang/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-reglang_1.1.3-2build2.debian.tar.xz2023-Feb-16 19:50:178.2Kapplication/octet-stream
coq-reglang_1.1.3-2build2.dsc2023-Feb-16 19:50:172.0Kapplication/octet-stream
coq-reglang_1.1.3-4build1.debian.tar.xz2023-Jul-24 19:37:458.3Kapplication/octet-stream
coq-reglang_1.1.3-4build1.dsc2023-Jul-24 19:37:452.0Kapplication/octet-stream
coq-reglang_1.1.3.orig.tar.gz2022-Jul-19 01:48:5965.4Kapplication/x-gzip
coq-reglang_1.2.1-1build5.debian.tar.xz2024-Apr-08 09:57:418.5Kapplication/octet-stream
coq-reglang_1.2.1-1build5.dsc2024-Apr-08 09:57:412.1Kapplication/octet-stream
coq-reglang_1.2.1-4.debian.tar.xz2024-Aug-04 13:34:018.4Kapplication/octet-stream
coq-reglang_1.2.1-4.dsc2024-Aug-04 13:34:011.8Kapplication/octet-stream
coq-reglang_1.2.1-4build1.debian.tar.xz2024-Aug-09 15:49:258.5Kapplication/octet-stream
coq-reglang_1.2.1-4build1.dsc2024-Aug-09 15:49:252.0Kapplication/octet-stream
coq-reglang_1.2.1.orig.tar.gz2024-Jan-21 06:45:4967.8Kapplication/x-gzip
libcoq-reglang_1.1.3-2build2_amd64.deb2023-Feb-16 19:50:27805.0Kapplication/octet-stream
libcoq-reglang_1.1.3-4build1_amd64.deb2023-Jul-25 19:19:34804.9Kapplication/octet-stream
libcoq-reglang_1.2.1-1build5_amd64.deb2024-Apr-08 16:36:31804.9Kapplication/octet-stream
libcoq-reglang_1.2.1-4_amd64.deb2024-Aug-05 03:04:53947.8Kapplication/octet-stream
libcoq-reglang_1.2.1-4build1_amd64.deb2024-Aug-15 00:17:30947.7Kapplication/octet-stream
lighttpd/1.4.19