why 2.25+dfsg-1 source package in Ubuntu
Changelog
why (2.25+dfsg-1) unstable; urgency=low * New upstream release - Refresh patches - Remove 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch * Bump Standards Version to 3.8.4, no changes needed. * Raise minimum version for Frama-C to 20100401+boron * Raise minimum version for OcamlGraph to 1.4 -- Ubuntu Archive Auto-Sync <email address hidden> Sun, 09 May 2010 14:07:40 +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.25+dfsg.orig.tar.gz | 2.4 MiB | a9d9a630578c43146b12827968e6e1fe4f6689c58cdb8aeb7df91bf73c007ebf |
why_2.25+dfsg-1.diff.gz | 8.9 KiB | ef66f9f64be8cd1bcff752f29c4f1aa85173de670475fbd5567cc554596e466a |
why_2.25+dfsg-1.dsc | 2.2 KiB | 59356b0132d705284a641908def225efb135787c64b5b201c972abfcd52bb2e3 |
Available diffs
- diff from 2.23+dfsg-2 to 2.25+dfsg-1 (451.9 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.