Change log for why package in Debian
1 → 40 of 40 results | First • Previous • Next • Last |
why (2.40-4) unstable; urgency=medium * Team upload. * Rebuild against coq/8.9.0-1. -- Benjamin Barenblat <email address hidden> Fri, 22 Feb 2019 18:04:55 -0500
Available diffs
- diff from 2.40-3build2 (in Ubuntu) to 2.40-4 (640 bytes)
why (2.40-3) unstable; urgency=medium * Update Architecture to native archs of ocaml 4.05: - drop armel (closes: #898493) - restore ppc64el, s390x (closes: #898518) - add ppc64 -- Ralf Treinen <email address hidden> Sun, 13 May 2018 10:55:19 +0200
Available diffs
- diff from 2.39-2build2 (in Ubuntu) to 2.40-3 (749.6 KiB)
- diff from 2.40-2 to 2.40-3 (521 bytes)
why (2.40-2) unstable; urgency=medium * Add build-dependency libzarith-ocaml-dev. -- Ralf Treinen <email address hidden> Sat, 12 May 2018 14:36:22 +0200
Available diffs
- diff from 2.40-1 to 2.40-2 (393 bytes)
why (2.40-1) unstable; urgency=medium * New upstream version. * Bumped build-dependency on frama-c-base to 20171101+sulfur. * Updated Vcs-* fields to salsa. * d/control: dropped architecture lpia. * Bumped build-dependency on ocaml, following upstream's INSTALL. * Dropped build-dependency on ocaml-best-compilers. * Standards-Version 4.1.4 (no change). * Debhelper compatibility level 11. -- Ralf Treinen <email address hidden> Sat, 12 May 2018 09:21:13 +0200
Available diffs
- diff from 2.39-2build2 (in Ubuntu) to 2.40-1 (749.5 KiB)
why (2.39-2) unstable; urgency=medium * update Architecture list (closes: #875569) - changes due to ocaml 4.05: -armel +ppc64el +s390x - drop obsolete lpia * Standards-Version 4.1.1 (no change) -- Ralf Treinen <email address hidden> Thu, 12 Oct 2017 08:25:52 +0200
Available diffs
why (2.39-1) unstable; urgency=medium * New upstream version (closes: #872281) * Bumped build-dependency on frama-c-base to 20170501+phosphorus+dfsg * debian/copyright: - migrate to machine-readable format 1.0 - fix upstream contact (Claude Marché) * Standards-Version 4.0.1 (no change) * Dropped build-dep on autotools-dev, which is obsolete with DH level 10. -- Ralf Treinen <email address hidden> Wed, 06 Sep 2017 21:34:58 +0200
why (2.38-1) unstable; urgency=medium * New upstream version (closes: #858366) - refreshed patches bprintf, edge - dropped hunks of patch reproducible_build that have been applied by upstream. * Bump build-dependency on frama-c-base to 20161101+silicon+dfsg * debian/why.install: install Jessie.o * Restrict Architecture of the why package to architectures having a native-code compiler for ocaml, since upstream ceased to maintain the why package for bytecode-only architectures. -- Ralf Treinen <email address hidden> Mon, 24 Apr 2017 08:25:31 +0200
Available diffs
why (2.36-5) unstable; urgency=medium * debian/rules: set FRAMADIR -- Ralf Treinen <email address hidden> Tue, 27 Dec 2016 13:13:18 +0100
Available diffs
- diff from 2.36-3build1 (in Ubuntu) to 2.36-5 (980 bytes)
why (2.36-3) unstable; urgency=medium * drop build-dependency on liblablgtk2-ocaml-dev * stop using libapron, as advised by upstream: - drop build-dependency libapron-ocaml-dev - drop option enable-apron from ./configure invocation * generate frama-c-plugin/META.frama-c-jessie in debian/rules when it has not been generated by frama-c, which for some unknown reason happens on non-native architectures (closes: #844777). -- Ralf Treinen <email address hidden> Sun, 18 Dec 2016 19:22:16 +0100
Available diffs
- diff from 2.36-2 to 2.36-3 (1012 bytes)
why (2.36-2) unstable; urgency=medium * dh invocation: use --no-parallel to fix FTBFS issues * jessie manpage: fix synopsis -- Ralf Treinen <email address hidden> Wed, 12 Oct 2016 21:33:30 +0200
why (2.36-1) unstable; urgency=medium * New upstream release. This version compiles with coq 8.5 and drops the gwhy binary (Closes: #440469). - refreshed patches bprintf and edge - dropped patch makefile as ocaml warning options are now set by configure - dropped patch atp-versions which is now obsolete * Due to disappearance of the why binary: - drop why-cpulimit manpage since this binary is no longer build: (files d/why-cpulimit.1 and d/why.manpages) - remove d/why.links as upstream does not ship the why manpage any more - add build-dependency on why3 and why3-coq - package why: add dependency on why3 - d/tests/frama-c+jessie+alt-ergo: adapt to why3 - package why: remove Recommends of SMT solvers - remove tests why+{alt-ergo,coq,cvc3} - rewrite package description - add why.NEWS entry about the transition to why3 * Due to disappearance of doc/manual.ps and ocamlgraph/ from upstream: - remove d/purify-source - drop filter from d/gbp.conf * Due to disappearance of examples from upstream: don't build binary package why-examples * Patch reproducible_build: remove timestamps (closes: #807051). Thanks to Valentin Lorentz for the patch! * debian/control: - Dropped build-dependency on libfloat-coq (closes: #815684) - Bumped build-dependency on frama-c to magnesium. - Standards-Version 3.9.8 (no change) - d/control remove redundant XS-Testsuite field - Vcs-{Browser,Git}: use secure URI * debian/watch: - format version 4 - get link to newest version from the krakatoa home page (instead of trying to read the download/ directory). * debhelper-compatibility level 10: - bump value in d/compat - build-depends on debhelper (>=10) - invocation of dh in d/rules: sequence argument before options * update homepage to krakatoa.lri.fr * create manpages, based on the output of help2man, for jessie and krakatoa * drop autoconf from d/rules and from build-dependencies * d/rules: disable upstream tests * d/rules: create bin directory before invoking dh_auto_build * d/tests: add test krakato+alt-ergo * remove d/README.source which is obsolete. -- Ralf Treinen <email address hidden> Tue, 11 Oct 2016 21:28:06 +0200
why (2.34-4) unstable; urgency=medium [ Ralf Treinen ] * improve as-installed package tests [ Mehdi Dogguy ] * Fix FTBFS with OCaml 4.02.3 by: - not using Format.bprintf anymore - not turning warning 3 into an error * Port Why to ocamlgraph 1.8.6 -- Mehdi Dogguy <email address hidden> Sat, 17 Oct 2015 01:12:21 +0200
why (2.34-2) unstable; urgency=medium * Team upload * Recompile with coq 8.4pl4 * Update Vcs-* -- Stéphane Glondu <email address hidden> Mon, 04 Aug 2014 09:34:24 +0200
Available diffs
- diff from 2.34-1 to 2.34-2 (496 bytes)
why (2.34-1) unstable; urgency=low * New upstream release. * Drop deprecated patches: - deprecated-or - hashtbl - frama-c-versions * Bump build-dependency on frama-c to version 20140301+neon+dfsg. * Fix debian/tests/frama-c+jessie+alt-ergo: - run why-config when there is no ${HOME}/.whyrc - drop the specification of cpp-4.7 as this is no longer needed, and the dependency of that test on cpp-4.7 -- Ralf Treinen <email address hidden> Tue, 29 Apr 2014 20:56:03 +0200
Available diffs
- diff from 2.33-2 to 2.34-1 (642.6 KiB)
why (2.33-2) unstable; urgency=low * fixed typo in debian/tests/control (dependency of frama-c+jessie+alt-ergo) -- Ralf Treinen <email address hidden> Mon, 17 Feb 2014 08:40:19 +0100
Available diffs
- diff from 2.33-1 to 2.33-2 (422 bytes)
why (2.33-1) unstable; urgency=low * New upstream release. This fixes an issue with compilation under ocaml-4.01 (closes: #707585). * Bump build-dependency on frama-c-base to the latest version (closes: #730526) * Drop patches adopted or otherwise fixed by upstream: - 0001-Why-2.29-do-support-Coq-8.3.patch - 0002-Mark-alt-ergo-0.93-as-compatible.patch - 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch - 0004-Default-to-why2-for-jessie-atp.patch - 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch - 0006-Fix-spelling-error-in-binary.patch - 0007-Replace-caduceus-invocation-by-Frama-C.patch * New patch deprecated-or to replace "or" by "||", needed for more strict checks in ocaml 4 * New patch hashtbl to fix compilation with ocaml 4.01, taken from fedora. * New patch atp-versions: update accepted versions of external provers: alt-ergo, coq * New patch frama-c-versions: update accepted version of frama-c * Add myself to uploaders. * Standards-Version 3.9.5 (no change) * Add DEP8-style package tests - why with alt-ergo - why with cvc3 - why with coq (thanks to Pierre Letouzey for his help!) - frama-c, jessie plugin (from the why package), and alt-ergo * Add to the Recommendation of package alt-ergo alternatives on other theorem provers: cvc3, coq -- Ralf Treinen <email address hidden> Tue, 04 Feb 2014 12:33:02 +0100
Available diffs
Deleted in jessie-release (Reason: None provided.) |
Published in wheezy-release |
Superseded in sid-release |
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 <email address hidden> Wed, 16 May 2012 12:54:14 +0200
Available diffs
- diff from 2.30+dfsg-4 to 2.30+dfsg-5 (1.3 KiB)
why (2.30+dfsg-4) unstable; urgency=high * Team upload * Recompile with coq 8.3pl4 (no changes) -- Stéphane Glondu <email address hidden> Fri, 06 Apr 2012 10:00:25 +0200
Available diffs
- diff from 2.30+dfsg-3 to 2.30+dfsg-4 (349 bytes)
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 <email address hidden> Mon, 16 Jan 2012 18:19:38 +0100
Available diffs
- diff from 2.30+dfsg-1 to 2.30+dfsg-3 (2.0 KiB)
Superseded in sid-release |
why (2.30+dfsg-2) unstable; urgency=low * Rebuilt with latest coq-float 1:8.3pl1-1 (no source changes). -- Mehdi Dogguy <email address hidden> 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 <email address hidden> Mon, 02 Jan 2012 15:39:47 +0100
Available diffs
why (2.29+dfsg-4) unstable; urgency=low * Rebuild with OCaml 3.12.1. -- Mehdi Dogguy <email address hidden> 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 <email address hidden> Mon, 25 Apr 2011 12:11:03 +0200
Superseded in sid-release |
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 <email address hidden> Mon, 25 Apr 2011 00:29:49 +0200
Published in squeeze-release |
why (2.26+dfsg-2+squeeze1) stable; urgency=low * 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 <email address hidden> Sun, 13 Mar 2011 18:34:27 +0100
why (2.26+dfsg-4) unstable; urgency=low * Team upload * Rebuild with coq 8.2.pl2+dfsg-2 (no changes) -- Stéphane Glondu <email address hidden> 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 <email address hidden> Thu, 20 Jan 2011 21:00:18 +0100
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 <email address hidden> 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 <email address hidden> 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 <email address hidden> 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 <email address hidden> Sun, 24 Jan 2010 23:56:15 +0100
Superseded in sid-release |
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 <email address hidden> Sun, 24 Jan 2010 17:31:23 +0100
why (2.19+dfsg-2) unstable; urgency=low * Install why library in usr/share since there is no arch dependent file. -- Mehdi Dogguy <email address hidden> 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 <email address hidden> Thu, 27 Aug 2009 20:11:39 +0200
why (2.18.dfsg-5) unstable; urgency=low * Rebuild against latest Coq package, Closes: #536104. - why suggests libwhy-coq (= ${source:Version}) * Bump standards to 3.8.2 * Tighten build-depends to ease OCaml 3.11.1 transition -- Mehdi Dogguy <email address hidden> 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 <email address hidden> Wed, 20 May 2009 15:38:58 +0200
Superseded in sid-release |
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 <email address hidden> 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 <email address hidden> Fri, 03 Apr 2009 22:03:21 +0200
Superseded in sid-release |
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 <email address hidden> Fri, 27 Feb 2009 14:09:32 +0100
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 <email address hidden> Wed, 17 Sep 2008 21:45:11 +0200
1 → 40 of 40 results | First • Previous • Next • Last |