summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Release for unstableHEADdebian/8.9.0-1masterBenjamin Barenblat2019-02-06
* Don’t install the `revision` fileBenjamin Barenblat2019-02-06
* Reenable ssrmatching and ssreflectBenjamin Barenblat2019-02-06
* Update fix-bytecode-build.patch to latest versionBenjamin Barenblat2019-02-06
* Disable .vio tests, as they don’t work on bytecode architecturesBenjamin Barenblat2019-02-05
* Disable test 4366, which is too time-sensitive for MIPSBenjamin Barenblat2019-02-05
* Fix build on platforms without ocamloptBenjamin Barenblat2019-02-05
* Run tests verboselyBenjamin Barenblat2019-02-05
* Consolidate patches to disable tests that are too big or too slowBenjamin Barenblat2019-02-05
* Tighten Build-Depends to match upstream’s INSTALLBenjamin Barenblat2019-02-05
* Remove references to ocaml-best-compilers packageBenjamin Barenblat2019-02-05
* Remove execute bit from Python librariesBenjamin Barenblat2019-02-05
* Correct spelling errorsBenjamin Barenblat2019-02-05
* s/CHANGES/CHANGES.md/Benjamin Barenblat2019-02-05
* Package new coqpp utilityBenjamin Barenblat2019-02-05
* Update libcoq-ocaml{,-dev} install listBenjamin Barenblat2019-02-05
* Don’t try to install gallina(1) (deleted by upstream)Benjamin Barenblat2019-02-05
* Update to new toploop packagingBenjamin Barenblat2019-02-05
* Add oUnit dependencyBenjamin Barenblat2019-02-05
* Disable ssrmatching and ssreflectBenjamin Barenblat2019-02-05
* Update packaging for Emacs mode deletionBenjamin Barenblat2019-02-05
* Refresh patchesBenjamin Barenblat2019-02-05
* Stop numbering patchesBenjamin Barenblat2019-02-05
* Update debian/copyrightBenjamin Barenblat2019-02-05
* Begin packaging 8.9.0Benjamin Barenblat2019-02-05
* Updated version 8.9.0 from 'upstream/8.9.0'Benjamin Barenblat2019-02-02
|\
| * Imported Upstream version 8.9.0upstream/8.9.0upstreamBenjamin Barenblat2019-02-02
* | Prepare gbp to import 8.9.0Benjamin Barenblat2019-02-02
* | Prepare to import ssrmatching in 8.9.0Benjamin Barenblat2019-02-02
* | Correct environment variable settings when running testsBenjamin Barenblat2019-01-17
* | Restore ssrmatching and its reverse dependenciesBenjamin Barenblat2019-01-17
* | Don’t build upstream’s CI on SalsaBenjamin Barenblat2019-01-17
* | Release 8.8.2-1 for unstabledebian/8.8.2-1Benjamin Barenblat2019-01-06
* | Ignore the .pc directory when doing a buildBenjamin Barenblat2019-01-03
* | Package coq_makefile’s new Python dependencyBenjamin Barenblat2019-01-03
* | Correct spelling errorsBenjamin Barenblat2019-01-03
* | Don't run testsuite under nocheck build profileBenjamin Barenblat2019-01-03
* | Update libcoq-ocaml{,-dev} install listBenjamin Barenblat2019-01-03
* | Don’t try to install coqmktopBenjamin Barenblat2019-01-03
* | Update coqdoc.sty installation pathBenjamin Barenblat2019-01-03
* | Explicitly build and install OCaml bytecode filesBenjamin Barenblat2019-01-03
* | Disable tests which require `-coqlib` to be setBenjamin Barenblat2019-01-03
* | debian/rules: Stop configuring with `-debug`Benjamin Barenblat2019-01-03
* | debian/rules: Bump Coq versionBenjamin Barenblat2019-01-03
* | Disable ssrmatchingBenjamin Barenblat2019-01-03
* | Refresh patchesBenjamin Barenblat2019-01-03
* | Install upstream’s CHANGESBenjamin Barenblat2019-01-03
* | debian/copyright: Audit and updateBenjamin Barenblat2019-01-03
* | debian/control: Update build dependenciesBenjamin Barenblat2019-01-03
* | Stop distributing CoqIDEBenjamin Barenblat2019-01-03