why 2.19+dfsg-2 source package in Ubuntu
Changelog
why (2.19+dfsg-2) unstable; urgency=low
* Install why library in usr/share since there is no arch dependent
file.
why (2.19+dfsg-1) unstable; urgency=low
* New Upstream Version
* Use my Debian mail address, Remove DMUA
* Add a 'Homepage' field in debian/control
* Referesh path jessie_lib.dpatch
* Fix long description for why-examples
-- Ubuntu Archive Auto-Sync <email address hidden> Fri, 06 Nov 2009 10:40:15 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Lucid
- 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.19+dfsg.orig.tar.gz | 2.3 MiB | 1a783648763dffe2cbfd40ece08e7de34de5cfb00d0a8f0298cc9ae620cef931 |
| why_2.19+dfsg-2.diff.gz | 7.9 KiB | 1e8aede0f2db600c28ce82b57aa604a60da5aafa7929d368571feaf0e5313d10 |
| why_2.19+dfsg-2.dsc | 2.1 KiB | aef709500ad4a0f29912680f46d404ca21900dc57c30f756271e8b4cf4c9dfb5 |
Available diffs
- diff from 2.18.dfsg-5 to 2.19+dfsg-2 (367.9 KiB)
Binary packages built by this source
- libjessie-ocaml-dev: No summary available for libjessie-ocaml-dev in ubuntu lucid.
No description available for libjessie-ocaml-dev in ubuntu lucid.
- libwhy-coq: No summary available for libwhy-coq in ubuntu lucid.
No description available for libwhy-coq in ubuntu lucid.
- why: No summary available for why in ubuntu lucid.
No description available for why in ubuntu lucid.
- why-examples: No summary available for why-examples in ubuntu lucid.
No description available for why-examples in ubuntu lucid.
