Change log for aac-tactics package in Debian

119 of 19 results
Published in sid-release on 2017-10-09
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
Published in buster-release on 2017-07-17
Published in stretch-release on 2017-01-14
Superseded in sid-release on 2017-10-09
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

Superseded in stretch-release on 2017-01-14
Superseded in sid-release on 2017-01-04
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
Deleted in stretch-release (Reason: None provided.)
Superseded in sid-release on 2016-08-02
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
Superseded in stretch-release on 2015-11-01
Superseded in sid-release on 2015-10-24
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

Superseded in stretch-release on 2015-08-16
Published in jessie-release on 2014-08-11
Superseded in sid-release on 2015-08-11
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

Superseded in jessie-release on 2014-08-11
Superseded in sid-release on 2014-07-30
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

Superseded in jessie-release on 2014-01-27
Superseded in sid-release on 2014-01-21
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

Superseded in jessie-release on 2013-12-12
Superseded in sid-release on 2013-12-08
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
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 on 2012-09-23
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
Superseded in jessie-release on 2013-05-25
Published in wheezy-release on 2012-06-22
Superseded in sid-release on 2013-12-05
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

Superseded in wheezy-release on 2012-06-22
Superseded in sid-release on 2012-06-11
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
Superseded in wheezy-release on 2012-04-09
Superseded in sid-release on 2012-04-02
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
Superseded in wheezy-release on 2012-03-17
Superseded in sid-release on 2012-03-06
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
Superseded in wheezy-release on 2012-01-07
Superseded in sid-release on 2011-12-27
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
Superseded in wheezy-release on 2011-11-09
Superseded in sid-release on 2011-11-05
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 on 2011-09-21
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
119 of 19 results