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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-doc_8.18.0.orig.tar.gz2024-05-09 08:56 7.3M 
[ ]coq-doc_8.18.0-1_all.deb2024-05-09 08:57 3.9K 
[TXT]coq-doc_8.18.0-1.dsc2024-05-09 08:56 2.5K 
[ ]coq-doc_8.18.0-1.debian.tar.xz2024-05-09 08:56 7.9K 
[ ]coq-doc_8.15.0.orig.tar.gz2023-10-11 23:50 6.9M 
[ ]coq-doc_8.15.0-3_all.deb2023-10-11 23:49 3.9K 
[TXT]coq-doc_8.15.0-3.dsc2023-10-11 23:50 2.5K 
[ ]coq-doc_8.15.0-3.debian.tar.xz2023-10-11 23:50 7.4K 
[ ]coq-doc_8.6.orig.tar.gz2023-10-11 19:51 5.3M 
[ ]coq-doc_8.6-1_all.deb2023-10-11 19:50 4.3K 
[TXT]coq-doc_8.6-1.dsc2023-10-11 19:51 2.3K 
[ ]coq-doc_8.6-1.debian.tar.xz2023-10-11 19:51 8.1K 
[ ]coq-doc-pdf_8.18.0-1_all.deb2024-05-09 08:56 4.5M 
[ ]coq-doc-pdf_8.15.0-3_all.deb2023-10-11 23:51 3.9M 
[ ]coq-doc-pdf_8.6-1_all.deb2023-10-11 19:49 2.4M 
[ ]coq-doc-html_8.18.0-1_all.deb2024-05-09 08:55 1.5M 
[ ]coq-doc-html_8.15.0-3_all.deb2023-10-11 23:50 1.3M 
[ ]coq-doc-html_8.6-1_all.deb2023-10-11 19:52 452K 
Apache Server at pkgs.geos.ed.ac.uk Port 443