summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
* 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
* 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
* fix FTBFS on slow architectures by disabling 4429debian/8.5-2Gravatar Enrico Tassi2016-01-28
* 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
* 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
* more overridesGravatar Enrico Tassi2015-07-15
* beta2Gravatar Enrico Tassi2015-07-15
* Remove unneeded commentGravatar Enrico Tassi2015-07-15
* update changelogGravatar Enrico Tassi2015-07-15
* override hardening-no-relro for native compute cmxs filesGravatar Enrico Tassi2015-07-15
* .cma files are not executablesGravatar Enrico Tassi2015-07-15
* make bin-nmuableGravatar Enrico Tassi2015-07-15
* Packaging 8.5beta1Gravatar Enrico Tassi2015-07-14
* Prepare upload to unstabledebian/8.4pl4dfsg-1Gravatar Stephane Glondu2014-07-27
* Update changelogGravatar Stephane Glondu2014-07-27
* Bump debhelper compat level to 9Gravatar Stephane Glondu2014-07-27
* Bump Standards-Version to 3.9.5Gravatar Stephane Glondu2014-07-27
* Switch debian/copyright to Format 1.0Gravatar Stephane Glondu2014-07-27
* Bump ABIGravatar Stephane Glondu2014-07-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-10 07:20:44 +0000