why 2.23+dfsg-2 source package in Ubuntu
Changelog
why (2.23+dfsg-2) unstable; urgency=low
* Rebuild with OCaml 3.11.2
* Correctly detect Coq-float wrt. its new path
- Add 0006-Coq-float-can-be-in-coqlib-user-contrib-Float.patch
why (2.23+dfsg-1) unstable; urgency=low
[ Mehdi Dogguy ]
* New upstream release
+ Remove makefile.in.dpatch (fixed upstream)
+ Remove jessie_lib.dpatch (not needed anymore)
+ Needs ocamlgraph 1.3
+ Fixes detection of Alt-Ergo (Closes: #552776).
* Refresh packaging
+ Use dh 7 features
+ Build-depend on quilt (goodbye dpatch!)
+ Add ${ocaml:Depends} in Why's Depends field
+ Add 0001-Do-not-run-tests-on-non-existant-files.patch
* Fix some spelling errors
+ Add 0003-Fix-spelling-errors.patch
* Fix FTBFS on bytecode architectures
+ Add 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
+ Apron also needs oct.cmxa (0002-Enable-Apron-support.patch)
+ Generate Jessie.cma
* Fix debhelper-but-no-misc-depends
* Fix out-of-date-standards-version
* Set filter-pristine-tar to True in debian/gbp.conf
* Remove libjessie-ocaml-dev which is no longer user by Frama-C and
don't install the Jessie library.
* Update copyright file
* Add camlidl to Build-depends: needed to enable Arpon support
[ Samuel Mimram ]
* Enable apron support.
+ Add 0002-Enable-Apron-support.patch
-- St?phane Glondu <email address hidden> Mon, 22 Mar 2010 19:20:57 +0000
Upload details
- Uploaded by:
- Stéphane Glondu
- 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.23+dfsg.orig.tar.gz | 2.4 MiB | f169551e3aabe830b11cc749d9f40878774af3fb9ffbd9a2479d5656cbc2e06e |
| why_2.23+dfsg-2.diff.gz | 9.1 KiB | 0a8c81de9c0be204bc9ddc4f86e60571fcd4287f16a6883b8f9b49d2c6e65849 |
| why_2.23+dfsg-2.dsc | 2.1 KiB | 7ff8f7416257c3c9909a097f055faa9b9700dd3487aa1460253921134fb51d93 |
Available diffs
- diff from 2.19+dfsg-2 to 2.23+dfsg-2 (861.4 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 lucid.
No description available for why-examples in ubuntu lucid.
