summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Release for unstableHEADmasterBenjamin Barenblat2019-02-17
* Fix install on platforms without ocamloptBenjamin Barenblat2019-02-17
* Fix build on platforms without ocamloptBenjamin Barenblat2019-02-17
* Correct copyright date for my contributionsBenjamin Barenblat2019-02-17
* Update Lintian overridesBenjamin Barenblat2019-02-17
* Ensure .cmi files are available when running ocamldocBenjamin Barenblat2019-02-17
* Don’t install .cm(a|x|xa) filesBenjamin Barenblat2019-02-17
* Update path to .mli filesBenjamin Barenblat2019-02-17
* Ensure both bytecode and native code builds on native-code platformsBenjamin Barenblat2019-02-17
* Perform clean by calling `make clean`, not `make distclean`Benjamin Barenblat2019-02-17
* Make build verboseBenjamin Barenblat2019-02-17
* Update Standards-VersionBenjamin Barenblat2019-02-17
* Update upstream URL in copyright fileBenjamin Barenblat2019-02-17
* Update docs listBenjamin Barenblat2019-02-17
* Update Vcs-* URLs for Salsa migrationBenjamin Barenblat2019-02-17
* Update build dependenciesBenjamin Barenblat2019-02-17
* Update to debhelper 10Benjamin Barenblat2019-02-13
* Begin packaging v8.9 snapshotBenjamin Barenblat2019-02-13
* Updated version 8.8.0+1.gbp069dc3b from 'upstream/8.8.0+1.gbp069dc3b'Benjamin Barenblat2019-02-13
|\
| * New upstream version 8.8.0+1.gbp069dc3bupstream/8.8.0+1.gbp069dc3bupstreamBenjamin Barenblat2019-02-13
* | Prepare to import v8.9 snapshotBenjamin Barenblat2019-02-13
* | Recompile with OCaml 4.05.0debian/8.6.1-2Stephane Glondu2017-10-09
* | 8.6.1Enrico Tassi2016-12-28
* | Merge tag 'upstream/8.6.1'Enrico Tassi2016-12-28
|\ \ | |/
| * New upstream version 8.6.1Enrico Tassi2016-12-28
* | aac for Coq 8.6Enrico Tassi2016-12-28
* | Merge tag 'upstream/8.6'Enrico Tassi2016-12-27
|\ \ | |/
| * New upstream version 8.6Enrico Tassi2016-12-27
* | Upload to unstabledebian/8.5.1-1Stephane Glondu2016-08-01
* | Update changelogNicolas Braud-Santoni2016-07-31
* | Fail on non-installed files, and install .v filesNicolas Braud-Santoni2016-07-31
* | Update 0001-Fix-typos.patchNicolas Braud-Santoni2016-07-25
* | debian/changelog: Close bug #813459Nicolas Braud-Santoni2016-07-23
* | Prepare uploadNicolas Braud-Santoni2016-07-23
* | Bump Standards-Version to 3.9.8Nicolas Braud-Santoni2016-07-23
* | Fix typosNicolas Braud-Santoni2016-07-23
* | Fix installed docsNicolas Braud-Santoni2016-07-23
* | debian/rules: Do not fail on non-installed filesNicolas Braud-Santoni2016-07-23
* | Merge tag 'upstream/8.5.1'Nicolas Braud-Santoni2016-07-23
|\ \ | |/
| * Imported Upstream version 8.5.1Nicolas Braud-Santoni2016-07-23
* | New upstream URL & watch fileNicolas Braud-Santoni2016-07-23
* | Use HTTPS for Vcs-* linksNicolas Braud-Santoni2016-07-23
* | Recompile with OCaml 4.02.3debian/0.4-5Stephane Glondu2015-10-14
* | Update changelog and prepare upload to unstabledebian/0.4-4Stephane Glondu2015-08-10
* | Bump debhelper compat level to 9Stephane Glondu2015-08-10
* | Bump Standards-Version to 3.9.6Stephane Glondu2015-08-10
* | New Homepage, drop debian/watchStephane Glondu2015-08-10
* | Recompile with coq 8.4pl4debian/0.4-3Stephane Glondu2014-07-30
* | Update changelog and prepare upload to unstabledebian/0.4-2Stephane Glondu2014-01-20
* | Update Vcs-*Stephane Glondu2014-01-20