Index of /ubuntu/pool/universe/c/coq-reglang/

NameLast ModifiedSizeType
../ -  Directory
coq-reglang_1.2.1-1build5.debian.tar.xz2024-Apr-08 03:57:418.5Kapplication/octet-stream
coq-reglang_1.2.1-1build5.dsc2024-Apr-08 03:57:412.1Kapplication/octet-stream
coq-reglang_1.2.1-4build5.debian.tar.xz2024-Sep-17 11:51:438.6Kapplication/octet-stream
coq-reglang_1.2.1-4build5.dsc2024-Sep-17 11:51:432.0Kapplication/octet-stream
coq-reglang_1.2.1-4build8.debian.tar.xz2024-Dec-20 09:16:368.7Kapplication/octet-stream
coq-reglang_1.2.1-4build8.dsc2024-Dec-20 09:16:362.0Kapplication/octet-stream
coq-reglang_1.2.1.orig.tar.gz2024-Jan-21 00:45:4967.8Kapplication/octet-stream
libcoq-reglang_1.2.1-1build5_amd64.deb2024-Apr-08 10:36:31804.9Kapplication/octet-stream
libcoq-reglang_1.2.1-4build5_amd64.deb2024-Sep-19 19:39:49947.7Kapplication/octet-stream
libcoq-reglang_1.2.1-4build8_amd64.deb2024-Dec-20 09:16:50971.7Kapplication/octet-stream