debian-aac-tactics - Debian packaging for aac-tactics

	Commit message (Collapse)	Author	Age
*	Bump debhelper compat level to 9	Stephane Glondu	2015-08-10
\|
*	Bump Standards-Version to 3.9.6	Stephane Glondu	2015-08-10
\|
*	New Homepage, drop debian/watch	Stephane Glondu	2015-08-10
\|
*	Recompile with coq 8.4pl4debian/0.4-3	Stephane Glondu	2014-07-30
\|
*	Update changelog and prepare upload to unstabledebian/0.4-2	Stephane Glondu	2014-01-20
\|
*	Update Vcs-*	Stephane Glondu	2014-01-20
\|
*	Bump Standards-Version to 3.9.5 (no changes)	Stephane Glondu	2014-01-20
\|
*	Prepare upload to unstabledebian/0.4-1	Stephane Glondu	2013-12-05
\|
*	New upstream release	Stephane Glondu	2013-12-05
\|
*	Update changelog and prepare upload to unstabledebian/0.3.pl1-1	Stephane Glondu	2013-05-09
\|
*	Bump Standards-Version to 3.9.4	Stephane Glondu	2013-05-09
\|
*	Use format version 1.0 in debian/copyright	Stephane Glondu	2013-05-09
\|
*	New upstream release	Stephane Glondu	2013-05-09
\|
*	Update changelog and prepare upload to experimentaldebian/0.3-2	Stephane Glondu	2012-09-22
\|
*	This version requires a bugfix in Coq	Stephane Glondu	2012-09-22
\|
*	Fix FTBFS without natdynlink	Stephane Glondu	2012-09-22
\|
*	Prepare upload to experimentaldebian/0.3-1	Stephane Glondu	2012-09-21
\|
*	Update build system	Stephane Glondu	2012-09-21
\|
*	Bump Coq version	Stephane Glondu	2012-09-21
\|
*	New upstream release	Stephane Glondu	2012-09-20
\|
*	Recompile with camlp5 6.06 (no changes)debian/0.2.pl2-7	Stephane Glondu	2012-06-09
\|
*	Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)debian/0.2.pl2-6	Stephane Glondu	2012-04-01
\|
*	Recompile with camlp5 6.04 (no changes)debian/0.2.pl2-5	Stephane Glondu	2012-03-05
\|
*	Rebuild with Coq 8.3pl3 (no source changes)debian/0.2.pl2-4	Stephane Glondu	2011-12-25
\|
*	Prepare upload to unstabledebian/0.2.pl2-3	Stephane Glondu	2011-11-03
\|
*	Bump Standards-Version to 3.9.2 (no changes)	Stephane Glondu	2011-11-03
\|
*	Upload to unstabledebian/0.2.pl2-2	Stephane Glondu	2011-05-01
\|
*	Prepare upload to experimentaldebian/0.2.pl2-1	Stephane Glondu	2011-02-28
\|
*	Fix Vcs-* URLs	Stephane Glondu	2011-02-22
\|
*	Do not remove Makefile on clean	Stephane Glondu	2011-02-21
\|
*	New upstream release	Stephane Glondu	2011-02-21
\|
*	Update debian/watch	Stephane Glondu	2011-02-21
\|
*	Update packaging	Stephane Glondu	2010-12-01
\|
*	New upstream release	Stephane Glondu	2010-12-01
\|
*	Fill ITP number and prepare upload to experimentaldebian/0.1-r13244-1	Stephane Glondu	2010-11-30
\|
*	Initial packaging	Stephane Glondu	2010-11-30