2012
why (2.30+dfsg-5) unstable; urgency=low
* Update 0001-Why-2.29-do-support-Coq-8.3.patch
- Mark Coq 8.3pl4 as compatible.
* Bump Standards-Version to 3.9.3, no changes required.
-- Mehdi Dogguy <mehdi@debian.org> Wed, 16 May 2012 12:54:14 +0200
why (2.30+dfsg-4) unstable; urgency=high
* Team upload * Recompile with coq 8.3pl4 (no changes)
-- Stéphane Glondu <glondu@debian.org> Fri, 06 Apr 2012 10:00:25 +0200
why (2.30+dfsg-3) unstable; urgency=high
* Fix 0002-Mark-alt-ergo-0.93-as-compatible.patch
- Adapt version_regexp because "alt-ergo -version" changed.
* Fix 0004-Default-to-why2-for-jessie-atp.patch
- default to "gui" instead of "why2".
* Add 0007-Replace-caduceus-invocation-by-Frama-C.patch
- Caduceus is gone. We use Frama-C instead.
- Adding Frama-C to Why's dependencies.
* Setting urgency to "high" to fix those issues.
-- Mehdi Dogguy <mehdi@debian.org> Mon, 16 Jan 2012 18:19:38 +0100
why (2.30+dfsg-2) unstable; urgency=low
* Rebuilt with latest coq-float 1:8.3pl1-1 (no source changes).
-- Mehdi Dogguy <mehdi@debian.org> Thu, 12 Jan 2012 17:50:39 +0100
why (2.30+dfsg-1) unstable; urgency=low
* New upstream release.
* Update patches:
- Rebase and update existing patches
- add 0004-Default-to-why2-for-jessie-atp.patch
- add 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch
* Add (back) Build-Depends on coq-float.
* Bump build requirement for frama-c to 20111001+nitrogen+dfsg-1~.
* Bump Standards-Version to 3.9.2, no changes needed.
* Fix description-synopsis-starts-with-article in why's description.
* Fix copyright-refers-to-deprecated-bsd-license-file
* Fix spelling-error-in-binary
* Mark Coq 8.3pl3 as compatible with current Why
-- Mehdi Dogguy <mehdi@debian.org> Mon, 02 Jan 2012 15:39:47 +0100
2011
why (2.29+dfsg-4) unstable; urgency=low
* Rebuild with OCaml 3.12.1.
-- Mehdi Dogguy <mehdi@debian.org> Thu, 03 Nov 2011 22:31:40 +0100
why (2.29+dfsg-3) unstable; urgency=low
* Remove last added patch. The problem was in Makefile.dynamic, shipped
by frama-c-base which lacks some include statements.
- remove 0004-ocamlgraph-is-needed-to-link-frama-c-Jessie.patch
- Bump minimum version number for Frama-C to 20110201+carbon+dfsg-2~.
-- Mehdi Dogguy <mehdi@debian.org> Mon, 25 Apr 2011 12:11:03 +0200
why (2.29+dfsg-2) unstable; urgency=low
* Fix FTBFS on armel.
- add 0004-ocamlgraph-is-needed-to-link-frama-c-Jessie.patch
-- Mehdi Dogguy <mehdi@debian.org> Mon, 25 Apr 2011 00:29:49 +0200
why (2.29+dfsg-1) unstable; urgency=low
* New upstream release.
- Remove old patches, which are not needed anymore.
- Remove build-depends on coq-float (upstream switched to Flocq which
is not packaged yet).
* Bump minimum version of Coq to 8.3
- and add 0001-Why-2.29-do-support-Coq-8.3.patch (upstream forgot to
mention to why-config that Coq 8.3 is "ok").
* Mark Alt-Ergo 0.93 as compatible
- add 0002-Mark-alt-ergo-0.93-as-compatible.patch
* Fix FTBFS due to non-exhaustive pattern matching
- add 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch
* Set 20110201+carbon+dfsg-1~ as minimum version number for Frama-C.
-- Mehdi Dogguy <mehdi@debian.org> Sun, 24 Apr 2011 20:12:57 +0200
why (2.26+dfsg-4) unstable; urgency=low
* Team upload * Rebuild with coq 8.2.pl2+dfsg-2 (no changes)
-- Stéphane Glondu <glondu@debian.org> Fri, 11 Mar 2011 08:03:27 +0100
why (2.26+dfsg-3) unstable; urgency=low
[ Stéphane Glondu ]
* Fix versioned build-deps to ensure smoother backports
[ Mehdi Dogguy ]
* Add 0007-Squeeze-s-Coq-is-also-compatible.patch: why-config checks
compatibility of provers by checking their version number. Coq
versioned 8.2pl2 is also compatible (like 8.2pl1). Marking it as
such so that it gets activated.
-- Mehdi Dogguy <mehdi@debian.org> Thu, 20 Jan 2011 21:00:18 +0100
2010
why (2.26+dfsg-2) unstable; urgency=low
[ Stéphane Glondu ] * Add 0006-Cope-with-OCaml-3.12-s-Map.patch (Closes: #585459) [ Mehdi Dogguy ] * Rebuild with Coq 8.2pl2 * Convert to 3.0 (quilt) source format. * Bump standards version to 3.9.0, no changes needed. * Bump minimum frama-c-base's version to 20100401+boron+dfsg-4~. * Add "make" to runtime dependencies of Why.
-- Mehdi Dogguy <mehdi@debian.org> Tue, 20 Jul 2010 19:35:51 +0200
why (2.26+dfsg-1) unstable; urgency=low
* New upstream release
- Refresh patches
* Update copyright years
* Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~)
* Add a debian/source/format file (Keep 1.0 format, for now)
-- Mehdi Dogguy <mehdi@debian.org> Tue, 01 Jun 2010 21:47:05 +0200
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
-- Mehdi Dogguy <mehdi@debian.org> Tue, 27 Apr 2010 16:28:54 +0200
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
-- Mehdi Dogguy <mehdi@debian.org> Sun, 24 Jan 2010 23:56:15 +0100
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
-- Mehdi Dogguy <mehdi@debian.org> Sun, 24 Jan 2010 17:31:23 +0100
2009
why (2.19+dfsg-2) unstable; urgency=low
* Install why library in usr/share since there is no arch dependent
files there.
-- Mehdi Dogguy <mehdi@debian.org> Thu, 10 Sep 2009 14:11:00 +0200
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
-- Mehdi Dogguy <mehdi@debian.org> Thu, 27 Aug 2009 20:11:39 +0200
why (2.18.dfsg-5) unstable; urgency=low
* Rebuild against latest Coq package, Closes: #536104. * Bump standards to 3.8.2 * Tighten build-depends to ease OCaml 3.11.1 transition
-- Mehdi Dogguy <dogguy@pps.jussieu.fr> Tue, 07 Jul 2009 23:50:16 +0200
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
-- Mehdi Dogguy <dogguy@pps.jussieu.fr> Wed, 20 May 2009 15:38:58 +0200
why (2.18.dfsg-3) unstable; urgency=low
* Fix erroneous usage of ifdef in debian/rules.
* why-examples depends on non-versioned libwhy-coq and why, thanks
Lintian.
* Make a long description for libwhy-coq, closes: #524054.
* Bump standards version to 3.8.1, no changes needed
* Jessie library:
- Make jc_ast and jc_env fit in the pack
- install jc.cmo and jc.cmx
- Move the binary package to section ocaml
-- Mehdi Dogguy <dogguy@pps.jussieu.fr> Thu, 16 Apr 2009 17:23:41 +0200
why (2.18.dfsg-2) unstable; urgency=low
* libwhy-coq replaces why (<< 2.18.dfsg-1), closes: #522440. * why now depends on libwhy-coq (= ${binary:Version}) and why-examples on why (= ${binary:Version}).
-- Mehdi Dogguy <dogguy@pps.jussieu.fr> Fri, 03 Apr 2009 22:03:21 +0200
why (2.18.dfsg-1) unstable; urgency=low
[ Mehdi Dogguy ]
* New upstream release.
* New binary packages:
+ libjessie-ocaml-dev:
- Build and install jc.{cma,cmxa,a} using jessie_lib.dpatch
- Install jc.cmi
- Add a META file for Jessie library
+ why-examples:
- why-examples recommends why
+ libwhy-coq:
- Install .vo files in /usr/lib/coq/user-contrib, closes: #498713.
* debian/rules:
+ do not compress .v,.sx,.why files
+ Use debhelper 7
+ Move logo in /usr/share/why (using logopath.dpatch)
+ Setting up manpages for krakatoa, gwhy-bin, tool-stat and why-config
* debian/control:
+ Bump standards version to 3.8.0, no changes needed.
+ Why recommends alt-ergo and suggest libwhy-coq.
+ Add missing runtime dependency for why (on non-native-architecures).
+ Change vcs-* fields to point to Git repository
+ Depend on coq-${F:CoqABI} instead of Coq
+ Add DMUA flag with Sam's blessing
+ Remove not needed build dependency: ocamlweb
* Add patch descriptions to configure.dpatch and logopath.dpatch
[ Samuel Mimram ]
* Use predefined variables from ocamlvars.mk and coqvars.mk.
-- Mehdi Dogguy <dogguy@pps.jussieu.fr> Fri, 27 Feb 2009 14:09:32 +0100
2008
why (2.13-2) unstable; urgency=low
[ Mehdi Dogguy ] * Using why-cpulimit instead of cpulimit Debian package, closes: 498485. * Renaming 'dp' into 'why-dp', closes: #499140. * Remove unnecessary dependency : cpulimit.
-- Julien Cristau <jcristau@debian.org> Wed, 17 Sep 2008 21:45:11 +0200
why (2.13-1) unstable; urgency=low
* New upstream release. * Removed install.dpatch, integrated upstream.
-- Samuel Mimram <smimram@debian.org> Thu, 29 May 2008 09:22:09 +0200
why (2.11-2) unstable; urgency=low
* Fix install target and JCLIB value in the Makefile, closes: #478501. * Update maintainer and uploders fields in debian/control. * Fix missing dependency (cpulimit). * Reinclude gwhy.sh * Add configure.dpatch to correctly detect ocamlopt. * Add myself to uploaders.
-- Mehdi Dogguy <dogguy@pps.jussieu.fr> Mon, 05 May 2008 18:56:31 +0200
why (2.11-1) unstable; urgency=low
* New upstream release. * Updated watch file.
-- Samuel Mimram <smimram@debian.org> Tue, 22 Apr 2008 09:36:52 +0200
why (2.10.dfsg.2-1) unstable; urgency=low
[ Stefano Zacchiroli ] * add vcs-* fields [ Samuel Mimram ] * New upstream release. * Correctly detects ocamldep, closes: #458267. * Updated watchfile.
-- Samuel Mimram <smimram@debian.org> Tue, 22 Jan 2008 09:45:16 +0100
2007
why (2.10.dfsg-1) unstable; urgency=low
* New upstream release. * Add dpatch support. * Added install.dpatch to correctly install gwhy.
-- Samuel Mimram <smimram@debian.org> Wed, 26 Dec 2007 14:15:38 +0100
why (2.04.dfsg-4) unstable; urgency=low
* Rebuild with latest version of coq.
-- Samuel Mimram <smimram@debian.org> Sat, 22 Dec 2007 01:19:44 +0100
why (2.04.dfsg-3) unstable; urgency=low
* Rebuild with OCaml 3.10. * Build-depend on camlp4, closes: #441500.
-- Samuel Mimram <smimram@debian.org> Mon, 10 Sep 2007 10:08:10 +0200
why (2.04.dfsg-2) unstable; urgency=low
* Build-depend on libfloat-coq and enable float support, closes: #430878.
-- Samuel Mimram <smimram@debian.org> Thu, 30 Aug 2007 13:06:52 +0200
why (2.04.dfsg-1) unstable; urgency=low
* New upstream release.
-- Samuel Mimram <smimram@debian.org> Wed, 08 Aug 2007 09:47:17 +0200
why (2.03.dfsg-1) unstable; urgency=low
* New upstream release. * Not installing cpulimit anymore and renamed dp to why-dp, closes: #420620.
-- Samuel Mimram <smimram@debian.org> Fri, 27 Apr 2007 09:34:56 +0000
why (2.02.dfsg-1) unstable; urgency=low
* Initial release, closes: #415862. * Removed octagon since it is not DFSG-free.
-- Samuel Mimram <smimram@debian.org> Thu, 22 Mar 2007 21:02:49 +0100