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

	Commit message (Collapse)	Author	Age
*	Recompile with OCaml 4.05.0debian/8.6.1-2	Stephane Glondu	2017-10-09
\|
*	8.6.1	Enrico Tassi	2016-12-28
\|
*	Merge tag 'upstream/8.6.1'	Enrico Tassi	2016-12-28
\|\ \| \| \| \| \| \|	Upstream version 8.6.1
\| *	New upstream version 8.6.1	Enrico Tassi	2016-12-28
\| \|
* \|	aac for Coq 8.6	Enrico Tassi	2016-12-28
\| \|
* \|	Merge tag 'upstream/8.6'	Enrico Tassi	2016-12-27
\|\\| \| \| \| \| \| \|	Upstream version 8.6
\| *	New upstream version 8.6	Enrico Tassi	2016-12-27
\| \|
* \|	Upload to unstabledebian/8.5.1-1	Stephane Glondu	2016-08-01
\| \|
* \|	Update changelog	Nicolas Braud-Santoni	2016-07-31
\| \|
* \|	Fail on non-installed files, and install .v files	Nicolas Braud-Santoni	2016-07-31
\| \| \| \| \| \| \| \|	Per Stéphane Glondu's comments <579DC270.2040103@debian.org>
* \|	Update 0001-Fix-typos.patch	Nicolas Braud-Santoni	2016-07-25
\| \| \| \| \| \| \| \|	The change was merged upstream (and an error was fixed)
* \|	debian/changelog: Close bug #813459	Nicolas Braud-Santoni	2016-07-23
\| \|
* \|	Prepare upload	Nicolas Braud-Santoni	2016-07-23
\| \|
* \|	Bump Standards-Version to 3.9.8	Nicolas Braud-Santoni	2016-07-23
\| \| \| \| \| \| \| \|	No change required
* \|	Fix typos	Nicolas Braud-Santoni	2016-07-23
\| \|
* \|	Fix installed docs	Nicolas Braud-Santoni	2016-07-23
\| \|
* \|	debian/rules: Do not fail on non-installed files	Nicolas Braud-Santoni	2016-07-23
\| \| \| \| \| \| \| \|	We do not install, on purpose, .glob and .v files.
* \|	Merge tag 'upstream/8.5.1'	Nicolas Braud-Santoni	2016-07-23
\|\\| \| \| \| \| \| \|	Upstream version 8.5.1
\| *	Imported Upstream version 8.5.1	Nicolas Braud-Santoni	2016-07-23
\| \|
* \|	New upstream URL & watch file	Nicolas Braud-Santoni	2016-07-23
\| \|
* \|	Use HTTPS for Vcs-* links	Nicolas Braud-Santoni	2016-07-23
\| \|
* \|	Recompile with OCaml 4.02.3debian/0.4-5	Stephane Glondu	2015-10-14
\| \|
* \|	Update changelog and prepare upload to unstabledebian/0.4-4	Stephane Glondu	2015-08-10
\| \|
* \|	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
\| \|
* \|	Merge tag 'upstream/0.4'	Stephane Glondu	2013-12-05
\|\\| \| \| \| \| \| \|	Upstream version 0.4
\| *	Imported Upstream version 0.4upstream/0.4	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
\| \|
* \|	Merge tag 'upstream/0.3.pl1'	Stephane Glondu	2013-05-09
\|\\| \| \| \| \| \| \|	Upstream version 0.3.pl1
\| *	Imported Upstream version 0.3.pl1upstream/0.3.pl1	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
\| \|
* \|	Merge tag 'upstream/0.3'	Stephane Glondu	2012-09-20
\|\\| \| \| \| \| \| \|	Upstream version 0.3
\| *	Imported Upstream version 0.3upstream/0.3	Stephane Glondu	2012-09-20
\| \|
* \|	Recompile with camlp5 6.06 (no changes)debian/0.2.pl2-7	Stephane Glondu	2012-06-09
\| \|