summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* 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
* Updated version 8.8.2 from 'upstream/8.8.2'Gravatar Benjamin Barenblat2018-12-29
|\
| * Imported Upstream version 8.8.2upstream/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
* | fix FTBFS on mipsdebian/8.6-3Gravatar Enrico Tassi2016-12-29
* | fix FTBFS disabling some testsdebian/8.6-2Gravatar Enrico Tassi2016-12-28
* | Coq 8.6debian/8.6-1Gravatar Enrico Tassi2016-12-28
* | Imported Upstream version 8.6Gravatar Enrico Tassi2016-12-27
| * Imported Upstream version 8.6upstream/8.6Gravatar Enrico Tassi2016-12-27
* | fix FTBFS on slow architectures by disabling 4429debian/8.5-2Gravatar Enrico Tassi2016-01-28
* | 8.5Gravatar Enrico Tassi2016-01-26
* | Merge tag 'upstream/8.5'Gravatar Enrico Tassi2016-01-26
|\|
| * Imported Upstream version 8.5upstream/8.5Gravatar Enrico Tassi2016-01-26
* | fix options passed to configure on non intel architecturesdebian/8.5_beta3+dfsg-2Gravatar Enrico Tassi2015-11-14
* | set version to beta3 in debian/rulesdebian/8.5_beta3+dfsg-1Gravatar Enrico Tassi2015-11-14
* | beta3Gravatar Enrico Tassi2015-11-13
* | Imported Upstream version 8.5~beta3+dfsgGravatar Enrico Tassi2015-11-13
|\|
| * Imported Upstream version 8.5~beta3+dfsgupstream/8.5_beta3+dfsgGravatar Enrico Tassi2015-11-13
| * Imported Upstream version 8.5~beta3+dfsgGravatar Enrico Tassi2015-11-13
* | enable make test-suite at build timedebian/8.5_beta2+dfsg-2Gravatar Enrico Tassi2015-07-20
* | disable native compiler on non-mainstream archesGravatar Enrico Tassi2015-07-20
* | fix build depsdebian/8.5_beta2+dfsg-1Gravatar Enrico Tassi2015-07-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-01 00:35:12 +0000