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

	Commit message (Collapse)	Author	Age
*	Release for unstableHEAD master	Benjamin Barenblat	2019-02-17
\|
*	Fix install on platforms without ocamlopt	Benjamin Barenblat	2019-02-17
\| \| \| \| \| \| \| \|	I was a bit overzealous in d10b86dc97e91ceb15134cc190d6f647a7c3d640, changing `make install` to `make install-byte` on bytecode platforms. Turns out both `make install` and `make install-byte` install important files on both native and bytecode platforms, so unconditionally call both.
*	Fix build on platforms without ocamlopt	Benjamin Barenblat	2019-02-17
\| \| \| \| \| \|	coq_makefile generates Makefiles that reference ocamlopt, even on platforms without ocamlopt. Export `OPT=-byte` on such platforms to prevent the generated Makefile from trying to invoke ocamlopt.
*	Correct copyright date for my contributions	Benjamin Barenblat	2019-02-17
\| \| \| \| \| \|	I accidentally said “copyright 2018” in 7ecbed522b4b4a9829eb9bd7b3f36db53788a77c, but I’ve only ever touched this project in 2019.
*	Update Lintian overrides	Benjamin Barenblat	2019-02-17
\|
*	Ensure .cmi files are available when running ocamldoc	Benjamin Barenblat	2019-02-17
\|
*	Don’t install .cm(a\|x\|xa) files	Benjamin Barenblat	2019-02-17
\|
*	Update path to .mli files	Benjamin Barenblat	2019-02-17
\|
*	Ensure both bytecode and native code builds on native-code platforms	Benjamin Barenblat	2019-02-17
\| \| \| \| \|	coq_makefile from Coq 8.9 does not automatically build bytecode when native code is available. Forcibly build both on native-code platforms.
*	Perform clean by calling `make clean`, not `make distclean`	Benjamin Barenblat	2019-02-17
\|
*	Make build verbose	Benjamin Barenblat	2019-02-17
\|
*	Update Standards-Version	Benjamin Barenblat	2019-02-17
\|
*	Update upstream URL in copyright file	Benjamin Barenblat	2019-02-17
\|
*	Update docs list	Benjamin Barenblat	2019-02-17
\| \| \| \|	Upstream has switched to Markdown for their README.
*	Update Vcs-* URLs for Salsa migration	Benjamin Barenblat	2019-02-17
\|
*	Update build dependencies	Benjamin Barenblat	2019-02-17
\|
*	Update to debhelper 10	Benjamin Barenblat	2019-02-13
\|
*	Begin packaging v8.9 snapshot	Benjamin Barenblat	2019-02-13
\|
*	Updated version 8.8.0+1.gbp069dc3b from 'upstream/8.8.0+1.gbp069dc3b'	Benjamin Barenblat	2019-02-13
\|\ \| \| \| \|	with Debian dir 4ca0cfbbc73543887b10ee2613b222f51702e276
\| *	New upstream version 8.8.0+1.gbp069dc3bupstream/8.8.0+1.gbp069dc3b upstream	Benjamin Barenblat	2019-02-13
\| \|
* \|	Prepare to import v8.9 snapshot	Benjamin Barenblat	2019-02-13
\| \| \| \| \| \| \| \| \| \|	Upstream has started including a .travis.yml, so filter that out of the upstream tarball to prevent Salsa from trying to run upstream’s CI.
* \|	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
\| \|