summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Release for unstableHEADdebian/8.9.0-1masterGravatar Benjamin Barenblat2019-02-06
* Don’t install the `revision` fileGravatar Benjamin Barenblat2019-02-06
* Reenable ssrmatching and ssreflectGravatar Benjamin Barenblat2019-02-06
* Update fix-bytecode-build.patch to latest versionGravatar Benjamin Barenblat2019-02-06
* Disable .vio tests, as they don’t work on bytecode architecturesGravatar Benjamin Barenblat2019-02-05
* Disable test 4366, which is too time-sensitive for MIPSGravatar Benjamin Barenblat2019-02-05
* Fix build on platforms without ocamloptGravatar Benjamin Barenblat2019-02-05
* Run tests verboselyGravatar Benjamin Barenblat2019-02-05
* Consolidate patches to disable tests that are too big or too slowGravatar Benjamin Barenblat2019-02-05
* Tighten Build-Depends to match upstream’s INSTALLGravatar Benjamin Barenblat2019-02-05
* Remove references to ocaml-best-compilers packageGravatar Benjamin Barenblat2019-02-05
* Remove execute bit from Python librariesGravatar Benjamin Barenblat2019-02-05
* Correct spelling errorsGravatar Benjamin Barenblat2019-02-05
* s/CHANGES/CHANGES.md/Gravatar Benjamin Barenblat2019-02-05
* Package new coqpp utilityGravatar Benjamin Barenblat2019-02-05
* Update libcoq-ocaml{,-dev} install listGravatar Benjamin Barenblat2019-02-05
* Don’t try to install gallina(1) (deleted by upstream)Gravatar Benjamin Barenblat2019-02-05
* Update to new toploop packagingGravatar Benjamin Barenblat2019-02-05
* Add oUnit dependencyGravatar Benjamin Barenblat2019-02-05
* Disable ssrmatching and ssreflectGravatar Benjamin Barenblat2019-02-05
* Update packaging for Emacs mode deletionGravatar Benjamin Barenblat2019-02-05
* Refresh patchesGravatar Benjamin Barenblat2019-02-05
* Stop numbering patchesGravatar Benjamin Barenblat2019-02-05
* Update debian/copyrightGravatar Benjamin Barenblat2019-02-05
* Begin packaging 8.9.0Gravatar Benjamin Barenblat2019-02-05
* Updated version 8.9.0 from 'upstream/8.9.0'Gravatar Benjamin Barenblat2019-02-02
|\
| * Imported Upstream version 8.9.0upstream/8.9.0upstreamGravatar Benjamin Barenblat2019-02-02
* | Prepare gbp to import 8.9.0Gravatar Benjamin Barenblat2019-02-02
* | Prepare to import ssrmatching in 8.9.0Gravatar Benjamin Barenblat2019-02-02
* | Correct environment variable settings when running testsGravatar Benjamin Barenblat2019-01-17
* | Restore ssrmatching and its reverse dependenciesGravatar Benjamin Barenblat2019-01-17
* | Don’t build upstream’s CI on SalsaGravatar Benjamin Barenblat2019-01-17
* | Release 8.8.2-1 for unstabledebian/8.8.2-1Gravatar Benjamin Barenblat2019-01-06
* | Ignore the .pc directory when doing a buildGravatar Benjamin Barenblat2019-01-03
* | Package coq_makefile’s new Python dependencyGravatar Benjamin Barenblat2019-01-03
* | Correct spelling errorsGravatar Benjamin Barenblat2019-01-03
* | Don't run testsuite under nocheck build profileGravatar Benjamin Barenblat2019-01-03
* | Update libcoq-ocaml{,-dev} install listGravatar Benjamin Barenblat2019-01-03
* | Don’t try to install coqmktopGravatar Benjamin Barenblat2019-01-03
* | Update coqdoc.sty installation pathGravatar Benjamin Barenblat2019-01-03
* | Explicitly build and install OCaml bytecode filesGravatar Benjamin Barenblat2019-01-03
* | Disable tests which require `-coqlib` to be setGravatar Benjamin Barenblat2019-01-03
* | debian/rules: Stop configuring with `-debug`Gravatar Benjamin Barenblat2019-01-03
* | debian/rules: Bump Coq versionGravatar Benjamin Barenblat2019-01-03
* | Disable ssrmatchingGravatar Benjamin Barenblat2019-01-03
* | Refresh patchesGravatar Benjamin Barenblat2019-01-03
* | Install upstream’s CHANGESGravatar Benjamin Barenblat2019-01-03
* | debian/copyright: Audit and updateGravatar Benjamin Barenblat2019-01-03
* | debian/control: Update build dependenciesGravatar Benjamin Barenblat2019-01-03
* | Stop distributing CoqIDEGravatar Benjamin Barenblat2019-01-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-16 13:17:49 +0000