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
Date: Mon, 22 Mar 2010 19:20:57 +0000
Changed-By: St?phane Glondu <[email protected]>
Maintainer: Debian OCaml Maintainers <[email protected]>
Origin: Debian/unstable
https://launchpad.net/ubuntu/lucid/+source/why/2.23+dfsg-2
Origin: Debian/unstable
Format: 1.7
Date: Mon, 22 Mar 2010 19:20:57 +0000
Source: why
Binary: why, why-examples, libwhy-coq
Architecture: source
Version: 2.23+dfsg-2
Distribution: lucid
Urgency: low
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: St?phane Glondu <[email protected]>
Description:
why - A software verification tool
Closes: 552776
Changes:
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
Files:
bf3ae187ee707e9841414fca56d08096 2492649 math optional
why_2.23+dfsg.orig.tar.gz
053a94c522c1b4b665992cd694d01cca 2185 math optional why_2.23+dfsg-2.dsc
12b586eea3416ca9ddc93a2a8c05c078 9338 math optional why_2.23+dfsg-2.diff.gz
--
Lucid-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/lucid-changes
