why 2.18.dfsg-3 source package in Ubuntu
Changelog
why (2.18.dfsg-3) unstable; urgency=low
* Fix erroneous usage of ifdef in debian/rules.
* why-examples depends on non-versioned libwhy-coq and why, thanks
Lintian.
* Make a long description for libwhy-coq, closes: #524054.
* Bump standards version to 3.8.1, no changes needed
* Jessie library:
- Make jc_ast and jc_env fit in the pack
- install jc.cmo and jc.cmx
- Move the binary package to section ocaml
-- Ubuntu Archive Auto-Sync <email address hidden> Mon, 18 May 2009 09:55:33 +0100
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Karmic
- 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.18.dfsg.orig.tar.gz | 2.3 MiB | ec0aea397806b49096cbbabf271632331d6018e481c7b728b7c7e0b49c9829e1 |
| why_2.18.dfsg-3.diff.gz | 7.7 KiB | 5b54eb065eda8eff489a32490f2f58f800f5d16ffac64b262b9c8701da82e1d4 |
| why_2.18.dfsg-3.dsc | 1.4 KiB | ddf2d97b07eedb414d170afebd6cff71925fc4948388a6af49416049ce926518 |
Available diffs
- diff from 2.18.dfsg-2 to 2.18.dfsg-3 (2.4 KiB)
