coq-doc 8.0pl1.0-1 source package in Ubuntu
Changelog
coq-doc (8.0pl1.0-1) unstable; urgency=low * Added the Coq faq, moved the tutorial to the root directory and added doc-base files for both, closes: #272204. * Set dh_compat to level 4. -- Samuel Mimram <email address hidden> Sat, 18 Sep 2004 13:28:22 +0200
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Hoary
- Original maintainer:
- Samuel Mimram
- Architectures:
- all
- Section:
- doc
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq-doc_8.0pl1.0-1.dsc | 586 bytes | 43357ec78ef251718495197142504f86191ad6547d57e83c89d23b2ffa1c5105 |
coq-doc_8.0pl1.0.orig.tar.gz | 1.6 MiB | e6071ba2028e3298806f2b1b6dd8412fbfc21c226eff63a1e1aff8d357dd3a10 |
coq-doc_8.0pl1.0-1.diff.gz | 3.1 KiB | e01bcda4e5ab106a526bcd58754d35fe34b1752fcaddbed3896735c117c80cad |
No changes file available.
Binary packages built by this source
- coq-doc: No summary available for coq-doc in ubuntu lucid.
No description available for coq-doc in ubuntu lucid.