why 2.26+dfsg-1 source package in Ubuntu
Changelog
why (2.26+dfsg-1) unstable; urgency=low
* New upstream release
- Refresh patches
* Update copyright years
* Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~)
* Add a debian/source/format file (Keep 1.0 format, for now)
-- Ubuntu Archive Auto-Sync <email address hidden> Sat, 05 Jun 2010 11:32:09 +0100
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Maverick
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why_2.26+dfsg.orig.tar.gz | 2.4 MiB | 667187e0058383c8b660c706a915c00af16256ae63ddd286ebfe09bd67ac4d69 |
| why_2.26+dfsg-1.diff.gz | 8.9 KiB | 194b08fe2cbe19c66f556b11781488585314cf3b63d8ee5e7b635cba2b858d89 |
| why_2.26+dfsg-1.dsc | 2.2 KiB | 33283eba12a8d41ef9a35ba71def0ebe677b9ae6d7d71f1062201c02d6456bd1 |
Available diffs
- diff from 2.25+dfsg-1 to 2.26+dfsg-1 (94.6 KiB)
Binary packages built by this source
- libwhy-coq: No summary available for libwhy-coq in ubuntu maverick.
No description available for libwhy-coq in ubuntu maverick.
- why: No summary available for why in ubuntu maverick.
No description available for why in ubuntu maverick.
- why-examples: No summary available for why-examples in ubuntu maverick.
No description available for why-examples in ubuntu maverick.
