why 2.11-1 source package in Ubuntu
Changelog
why (2.11-1) unstable; urgency=low * New upstream release. * Updated watch file. why (2.10.dfsg.2-1) unstable; urgency=low [ Stefano Zacchiroli ] * add vcs-* fields [ Samuel Mimram ] * New upstream release. * Correctly detects ocamldep, closes: #458267. * Updated watchfile. why (2.10.dfsg-1) unstable; urgency=low * New upstream release. * Add dpatch support. * Added install.dpatch to correctly install gwhy. why (2.04.dfsg-4) unstable; urgency=low * Rebuild with latest version of coq. -- Ubuntu Archive Auto-Sync <email address hidden> Fri, 02 May 2008 02:33:48 +0100
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Intrepid
- Original maintainer:
- Samuel Mimram
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
why_2.11.orig.tar.gz | 1.6 MiB | 076e74035be73854be9818f569ddbd8943a333fab44b88552aed8b3094994163 |
why_2.11-1.diff.gz | 3.4 KiB | 5f8ca9c81d99457cbeaad98216ba1dc7f90f7d23e9b9ce4e4636a2c05dddd97f |
why_2.11-1.dsc | 1.2 KiB | e95ed7dbf701a21a5980b111c6db08a0395a57ed533d687135f3b0065f8700ab |