| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Release for unstableHEADmaster |  Benjamin Barenblat | 2019-02-17 |
| * | Fix install on platforms without ocamlopt | Benjamin Barenblat | 2019-02-17 |
| * | Fix build on platforms without ocamlopt | Benjamin Barenblat | 2019-02-17 |
| * | Correct copyright date for my contributions | Benjamin Barenblat | 2019-02-17 |
| * | 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 |
| * | 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 |
| * | 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 |
| |\ | |||
| | * | New upstream version 8.8.0+1.gbp069dc3bupstream/8.8.0+1.gbp069dc3bupstream | Benjamin Barenblat | 2019-02-13 |
| * | | Prepare to import v8.9 snapshot | Benjamin Barenblat | 2019-02-13 |
| * | | 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 |
| |\| | |||
| | * | 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 |
| |\| | |||
| | * | 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 |
| * | | Update 0001-Fix-typos.patch | Nicolas Braud-Santoni | 2016-07-25 |
| * | | 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 |
| * | | 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 |
| * | | Merge tag 'upstream/8.5.1' | Nicolas Braud-Santoni | 2016-07-23 |
| |\| | |||
| | * | 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 |
 |
index : debian-aac-tactics | |
| Debian packaging for aac-tactics |
| summaryrefslogtreecommitdiff |