| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix install on platforms without ocamlopt |  Benjamin Barenblat | 2019-02-17 |
| * | Fix build on platforms without ocamlopt | 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 |
| * | Fail on non-installed files, and install .v files |  Nicolas Braud-Santoni | 2016-07-31 |
| * | debian/rules: Do not fail on non-installed files | Nicolas Braud-Santoni | 2016-07-23 |
| * | Fix FTBFS without natdynlink |  Stephane Glondu | 2012-09-22 |
| * | Update build system | Stephane Glondu | 2012-09-21 |
| * | Do not remove Makefile on clean | Stephane Glondu | 2011-02-21 |
| * | Update packaging | Stephane Glondu | 2010-12-01 |
| * | Initial packaging | Stephane Glondu | 2010-11-30 |
 |
index : debian-aac-tactics | |
| Debian packaging for aac-tactics |
| summaryrefslogtreecommitdiff |