Tree @debian/8.2-1.2-5 (Download .tar.gz)
History of debian @debian/8.2-1.2-5
- Update watch file, bump SV, prepare upload to unstable Stephane Glondu 13 years ago
- Prepare upload to unstable Stephane Glondu 14 years ago
- Move *.vo files to user-contrib/Float + various updates Stephane Glondu 14 years ago
- Rebuild with Coq 8.2pl1 Stephane Glondu 14 years ago
- Prepare upload to unstable Stephane Glondu 14 years ago
- Update changelog and prepare upload to unstable Stephane Glondu 15 years ago
- More detailed long description Stephane Glondu 15 years ago
- Set Maintainer to d-o-m, add myself to Uploaders and add DMUA Stephane Glondu 15 years ago
- Switch copyright to machine-parsable format Stephane Glondu 15 years ago
- More extensive use of debhelper 7, add build cache Stephane Glondu 15 years ago
- New Upstream Version Stephane Glondu 15 years ago
- Add Homepage field. Samuel Mimram 15 years ago
- Update compat to 7. Samuel Mimram 15 years ago
- Enforce strict dependency on coq ABI. Samuel Mimram 15 years ago
- Switch packaging to git Samuel Mimram 15 years ago
- Rebuild with latest version of coq. Samuel Mimram 16 years ago
- * add vcs-* fields Stefano Zacchiroli 16 years ago
- Rebuild with latest coq. Samuel Mimram 16 years ago
- Rebuild with latest version of coq. Samuel Mimram 16 years ago
- Use right directory for tags. Samuel Mimram 16 years ago
- New upstream release. Samuel Mimram 16 years ago
- Initial upload. Samuel Mimram 16 years ago
- Preliminary package. Samuel Mimram 16 years ago