why 2.18.dfsg-4 source package in Ubuntu
Changelog
why (2.18.dfsg-4) unstable; urgency=low
* libjessie-ocaml-dev:
- Do not install jc.cm{x,}a
- Only jc.{o,cmx,cmo,cmi} are installed.
* Remove configure.dpatch
-- Ubuntu Archive Auto-Sync <email address hidden> Mon, 01 Jun 2009 10:47:05 +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-4.diff.gz | 7.4 KiB | 02c5c9915c8f545c6bc0d1ab8de7a0e9cacfcc704b9caa24bb06a0881984ee79 |
| why_2.18.dfsg-4.dsc | 1.4 KiB | d44a11df853c704acd13657d9414bd0c08a7780dabb9921fc46e7d8549a7c64a |
Available diffs
- diff from 2.18.dfsg-3 to 2.18.dfsg-4 (2.0 KiB)
Binary packages built by this source
- libjessie-ocaml-dev: No summary available for libjessie-ocaml-dev in ubuntu karmic.
No description available for libjessie-ocaml-dev in ubuntu karmic.
- libwhy-coq: No summary available for libwhy-coq in ubuntu karmic.
No description available for libwhy-coq in ubuntu karmic.
- why: No summary available for why in ubuntu karmic.
No description available for why in ubuntu karmic.
- why-examples: No summary available for why-examples in ubuntu karmic.
No description available for why-examples in ubuntu karmic.
