summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
* 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
* 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
* debian/control: Update Git-* URLs for Salsa migrationGravatar Benjamin Barenblat2019-01-03
* Update standards versionGravatar Benjamin Barenblat2019-01-03
* Update to Debhelper 10Gravatar Benjamin Barenblat2018-12-29
* Begin packaging 8.8.2Gravatar Benjamin Barenblat2018-12-29
* Update and firm up excluded files listGravatar Benjamin Barenblat2018-12-29
* Update debian/watch for GitHub switchGravatar Benjamin Barenblat2018-12-24
* Update changelog and prepare upload to unstabledebian/8.6-5Gravatar Stephane Glondu2017-09-26
* Update Vcs-*Gravatar Stephane Glondu2017-09-26
* Remove menu filesGravatar Stephane Glondu2017-09-26
* Remove unused Lintian overridesGravatar Stephane Glondu2017-09-26
* fix ocamlfind package namedebian/8.6-4Gravatar Enrico Tassi2016-12-30
* depend on ocamlfindGravatar Enrico Tassi2016-12-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 02:33:26 +0000