Change log for aac-tactics package in Debian
1 → 34 of 34 results | First • Previous • Next • Last |
aac-tactics (8.18.0-1) unstable; urgency=medium * New upstream release. -- Julien Puydt <email address hidden> Thu, 21 Dec 2023 15:20:11 +0100
Available diffs
aac-tactics (8.17.0-3) unstable; urgency=medium * Depend on ocaml instead of transitional ocaml-nox -- Stéphane Glondu <email address hidden> Tue, 12 Sep 2023 07:51:26 +0200
aac-tactics (8.17.0-2) unstable; urgency=medium * Add lintian overrides for false issues. * Bump Coq version depend. -- Julien Puydt <email address hidden> Mon, 12 Jun 2023 19:27:20 +0200
Available diffs
- diff from 8.17.0-1build2 (in Ubuntu) to 8.17.0-2 (727 bytes)
aac-tactics (8.17.0-1) unstable; urgency=medium * Fix links in the doc base system. * Bump standards-version to 4.6.2. * New upstream release. -- Julien Puydt <email address hidden> Tue, 03 Jan 2023 14:33:38 +0100
Available diffs
aac-tactics (8.16.0-1) unstable; urgency=medium * New upstream release. -- Julien Puydt <email address hidden> Mon, 22 Aug 2022 16:35:51 +0200
aac-tactics (8.15.1-6) unstable; urgency=medium * Install the documentation in the right directory. * Use dh-coq. -- Julien Puydt <email address hidden> Sat, 11 Jun 2022 22:34:44 +0200
Available diffs
- diff from 8.15.1-5 to 8.15.1-6 (1.3 KiB)
aac-tactics (8.15.1-5) unstable; urgency=medium * Bump standards-version to 4.6.1. * Add myself to uploaders. -- Julien Puydt <email address hidden> Wed, 01 Jun 2022 15:01:51 +0200
Available diffs
- diff from 8.15.1-4 to 8.15.1-5 (613 bytes)
- diff from 8.15.1-4build1 (in Ubuntu) to 8.15.1-5 (671 bytes)
aac-tactics (8.15.1-4) unstable; urgency=medium * Re-upload to fix ABI breakage. -- Julien Puydt <email address hidden> Sun, 22 May 2022 19:23:17 +0200
Available diffs
- diff from 8.15.1-3build1 (in Ubuntu) to 8.15.1-4 (366 bytes)
aac-tactics (8.15.1-3) unstable; urgency=medium * Change the libcoq package to Architecture: any. -- Julien Puydt <email address hidden> Sun, 17 Apr 2022 13:55:57 +0200
Available diffs
- diff from 8.15.0-1 to 8.15.1-3 (10.4 KiB)
aac-tactics (8.15.1-2) unstable; urgency=medium * Source-only upload for testing migration. -- Julien Puydt <email address hidden> Wed, 13 Apr 2022 09:07:48 +0200
aac-tactics (8.15.1-1) unstable; urgency=medium * Team upload. * New upstream release. * Rename the libaac-tactics-coq binary package to libcoq-aac-tactics to follow the rest of the ecosystem in Debian. -- Julien Puydt <email address hidden> Sun, 03 Apr 2022 21:57:56 +0200
aac-tactics (8.15.0-1) unstable; urgency=medium * Team upload. * Fix d/watch. * New upstream release. * Adapt to new coq library layout (closes: #970454). * Bump dh-compat to level 13. * Bump standards-version to 4.6.0. -- Julien Puydt <email address hidden> Sun, 06 Feb 2022 13:55:39 +0100
aac-tactics (8.11.0-1) unstable; urgency=medium * Team upload * New upstream version, compiles with coq 8.11.0 (closes: #953739) * debian/rules: on dynlink architectures, build opt before byte * debian/*.ocamldoc: add -I /usr/lib/coq/tactics -- Ralf Treinen <email address hidden> Tue, 17 Mar 2020 16:42:09 +0100
Available diffs
- diff from 8.9.0-1 to 8.11.0-1 (32.0 KiB)
- diff from 8.9.0-1build1 (in Ubuntu) to 8.11.0-1 (32.1 KiB)
aac-tactics (8.9.0-1) unstable; urgency=medium * New upstream release * Update Homepage and debian/watch * Bump debhelper compat level to 12 * Bump Standards-Version to 4.5.0 * Add Rules-Requires-Root: no -- Stéphane Glondu <email address hidden> Sun, 02 Feb 2020 15:16:42 +0100
Available diffs
Superseded in sid-release |
aac-tactics (8.8.0+1.gbp069dc3b-1) unstable; urgency=medium ** SNAPSHOT build @069dc3bd125ca18f5712759d54edcf9addb4cdd4 ** * Team upload * New upstream release * Build an unreleased snapshot to support Coq 8.9 (Closes: 919463) -- Benjamin Barenblat <email address hidden> Sun, 17 Feb 2019 20:29:23 -0500
Available diffs
aac-tactics (8.6.1-2) unstable; urgency=medium * Recompile with OCaml 4.05.0 -- Stéphane Glondu <email address hidden> Mon, 09 Oct 2017 10:33:39 +0200
Available diffs
- diff from 8.6.1-1build4 (in Ubuntu) to 8.6.1-2 (775 bytes)
- diff from 8.6.1-1build5 (in Ubuntu) to 8.6.1-2 (837 bytes)
aac-tactics (8.6.1-1) unstable; urgency=medium * Team upload * New upstream release * Remove patch 001-fix-typos, applied upstream -- Enrico Tassi <email address hidden> Tue, 27 Dec 2016 16:06:51 +0000
Available diffs
- diff from 8.5.1-1 to 8.6.1-1 (15.6 KiB)
aac-tactics (8.5.1-1) unstable; urgency=medium * Team upload * Imported Upstream version 8.5.1 (Closes: #813459) * Use HTTPS for Vcs-* links * New upstream URL & watch file * Install .v files * Fix installed docs * Fix typos * Bump Standards-Version to 3.9.8. No change required -- Nicolas Braud-Santoni <email address hidden> Sat, 23 Jul 2016 16:44:48 -0400
aac-tactics (0.4-5) unstable; urgency=medium * Recompile with OCaml 4.02.3 -- Stéphane Glondu <email address hidden> Wed, 14 Oct 2015 11:44:20 +0200
aac-tactics (0.4-4) unstable; urgency=medium * Fix Homepage URL * Drop debian/watch * Bump Standards-Version to 3.9.6 * Bump debhelper compat level to 9 -- Stéphane Glondu <email address hidden> Mon, 10 Aug 2015 21:16:02 +0200
Available diffs
- diff from 0.4-3 to 0.4-4 (820 bytes)
aac-tactics (0.4-3) unstable; urgency=medium * Recompile with coq 8.4pl4 -- Stéphane Glondu <email address hidden> Wed, 30 Jul 2014 11:00:52 +0200
Available diffs
- diff from 0.4-2 to 0.4-3 (284 bytes)
aac-tactics (0.4-2) unstable; urgency=medium * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update Vcs-* -- Stéphane Glondu <email address hidden> Mon, 20 Jan 2014 08:22:59 +0100
Available diffs
- diff from 0.4-1build1 (in Ubuntu) to 0.4-2 (654 bytes)
aac-tactics (0.4-1) unstable; urgency=low * New upstream release -- Stéphane Glondu <email address hidden> Thu, 05 Dec 2013 07:56:39 +0100
Available diffs
- diff from 0.3.pl1-1 to 0.4-1 (5.1 KiB)
aac-tactics (0.3.pl1-1) unstable; urgency=low * New upstream release * Use format version 1.0 in debian/copyright * Bump Standards-Version to 3.9.4 * Upload to unstable -- Stéphane Glondu <email address hidden> Thu, 09 May 2013 13:26:38 +0200
Available diffs
- diff from 0.2.pl2-7 to 0.3.pl1-1 (83.2 KiB)
- diff from 0.2.pl2-7build1 (in Ubuntu) to 0.3.pl1-1 (83.3 KiB)
Deleted in experimental-release (Reason: None provided.) |
aac-tactics (0.3-2) experimental; urgency=low * Fix FTBFS without natdynlink * This version requires the bugfix introduced in coq 8.4dfsg-2 -- Stéphane Glondu <email address hidden> Sat, 22 Sep 2012 16:08:20 +0200
Superseded in experimental-release |
aac-tactics (0.3-1) experimental; urgency=low * New upstream release -- Stéphane Glondu <email address hidden> Fri, 21 Sep 2012 19:19:27 +0200
aac-tactics (0.2.pl2-7) unstable; urgency=low * Recompile with camlp5 6.06 (no changes) -- Stéphane Glondu <email address hidden> Sat, 09 Jun 2012 10:31:21 +0200
Available diffs
- diff from 0.2.pl2-6 to 0.2.pl2-7 (334 bytes)
aac-tactics (0.2.pl2-6) unstable; urgency=medium * Recompile with camlp5 6.05 and coq 8.3pl4 (no changes) -- Stéphane Glondu <email address hidden> Sun, 01 Apr 2012 17:19:08 +0200
Available diffs
aac-tactics (0.2.pl2-5) unstable; urgency=low * Recompile with camlp5 6.04 (no changes) -- Stéphane Glondu <email address hidden> Mon, 05 Mar 2012 21:51:05 +0100
aac-tactics (0.2.pl2-4) unstable; urgency=low * Rebuild with Coq 8.3pl3 (no source changes) -- Stéphane Glondu <email address hidden> Sun, 25 Dec 2011 16:54:20 +0100
Available diffs
aac-tactics (0.2.pl2-3) unstable; urgency=low * Recompile with OCaml 3.12.1 (no changes) * Bump Standards-Version to 3.9.2 (no changes) -- Stéphane Glondu <email address hidden> Thu, 03 Nov 2011 06:41:57 +0100
aac-tactics (0.2.pl2-2) unstable; urgency=low * Upload to unstable -- Stéphane Glondu <email address hidden> Sun, 01 May 2011 19:22:52 +0200
Deleted in experimental-release (Reason: None provided.) |
aac-tactics (0.2.pl2-1) experimental; urgency=low * New upstream release - remove patch (applied upstream) -- Stéphane Glondu <email address hidden> Mon, 28 Feb 2011 07:46:14 +0100
Superseded in experimental-release |
aac-tactics (0.1-r13244-1) experimental; urgency=low * Initial release (Closes: #605487) -- Stéphane Glondu <email address hidden> Tue, 30 Nov 2010 16:24:53 +0100
1 → 34 of 34 results | First • Previous • Next • Last |