Index of /ubuntu/ubuntu/pool/universe/d/dh-coq/

NameLast ModifiedSizeType
../ -  Directory
debian-coq-tools_0.5_all.deb2022-Nov-06 21:55:266.0Kapplication/vnd.debian.binary-package
debian-coq-tools_0.6_all.deb2023-Jun-22 13:25:416.2Kapplication/vnd.debian.binary-package
debian-coq-tools_0.8_all.deb2024-Jan-31 13:25:497.3Kapplication/vnd.debian.binary-package
dh-coq_0.5.dsc2022-Nov-05 23:16:191.6Kapplication/octet-stream
dh-coq_0.5.tar.xz2022-Nov-05 23:16:197.3Kapplication/x-xz
dh-coq_0.5_all.deb2022-Nov-06 21:55:267.2Kapplication/vnd.debian.binary-package
dh-coq_0.6.dsc2023-Jun-22 13:24:421.6Kapplication/octet-stream
dh-coq_0.6.tar.xz2023-Jun-22 13:24:427.4Kapplication/x-xz
dh-coq_0.6_all.deb2023-Jun-22 13:25:417.4Kapplication/vnd.debian.binary-package
dh-coq_0.8.dsc2024-Jan-31 12:45:061.6Kapplication/octet-stream
dh-coq_0.8.tar.xz2024-Jan-31 12:45:068.2Kapplication/x-xz
dh-coq_0.8_all.deb2024-Jan-31 13:25:496.6Kapplication/vnd.debian.binary-package
lighttpd/1.4.53