summaryrefslogtreecommitdiff
path: root/debian
Commit message (Collapse)AuthorAge
* Add Disable-micromega-tests.patch, prepare upload to unstabledebian/8.2.pl1+dfsg-6Gravatar Stephane Glondu2010-02-22
|
* Update changelog and prepare upload to unstabledebian/8.2.pl1+dfsg-5Gravatar Stephane Glondu2010-02-10
|
* Bump Standards-Version to 3.8.4 (no changes)Gravatar Stephane Glondu2010-02-10
|
* Make NEWS file Lintian-friendlyGravatar Stephane Glondu2010-02-10
|
* NOT RELEASED YETGravatar Stephane Glondu2010-02-10
|
* Prepare upload to unstabledebian/8.2.pl1+dfsg-4Gravatar Stephane Glondu2009-12-03
|
* Switch to dh-ocaml 0.9Gravatar Stephane Glondu2009-12-03
|
* debian/control: fix typo in long description (Closes: #557458)Gravatar Stefano Zacchiroli2009-11-22
|
* Various updates, prepare upload to unstabledebian/8.2.pl1+dfsg-3Gravatar Stephane Glondu2009-08-29
|
* Add 0001-Update-for-why-2.19.patchGravatar Stephane Glondu2009-08-29
|
* More precise informations in README.DebianGravatar Stephane Glondu2009-07-26
|
* Update README.Debian (Closes: #538398)Gravatar Stephane Glondu2009-07-25
|
* Call coqchk without -silentdebian/8.2.pl1+dfsg-2Gravatar Stephane Glondu2009-07-05
|
* New Upstream Versiondebian/8.2.pl1+dfsg-1Gravatar Stephane Glondu2009-07-04
|
* Keep some file from doc/common/styles/html/simpleGravatar Stephane Glondu2009-07-04
| | | | They are needed for HTML API doc generation.
* Prepare upload to unstabledebian/8.2-1+dfsg-2Gravatar Stephane Glondu2009-07-01
|
* Suggests readline-editor instead of cleGravatar Stephane Glondu2009-04-27
|
* Remove upstream url from long descriptions since we already use the Homepage ↵Gravatar Samuel Mimram2009-04-14
| | | | field.
* Updated watch file.Gravatar Samuel Mimram2009-04-06
|
* Prepare upload to unstableGravatar Stephane Glondu2009-02-28
|
* dh_link expects full targets in *.links file!Gravatar Stephane Glondu2009-02-28
|
* Add versioned dependenciesGravatar Stephane Glondu2009-02-27
|
* Add dependency on liblablgtk2-ocamlGravatar Stephane Glondu2009-02-27
|
* Add missing Conflicts and Replaces (Closes: #517107)Gravatar Stephane Glondu2009-02-26
|
* Merge branch 'master' of ↵Gravatar Samuel Mimram2009-02-20
|\ | | | | | | git+ssh://git.debian.org//git/pkg-ocaml-maint/packages/coq
* | Install CSS for stdlib documentation.Gravatar Samuel Mimram2009-02-20
| |
| * Update changelogGravatar Stephane Glondu2009-02-20
| |
| * Remove dependency on dpatchGravatar Stephane Glondu2009-02-20
| |
| * Generate coqvars.mk from debian/rules and drop /usr/lib/coq/abiGravatar Stephane Glondu2009-02-20
| |
| * Use ocamlinit.mkGravatar Stephane Glondu2009-02-20
| |
| * Use Debian changelog to determine COQ_VERSIONGravatar Stephane Glondu2009-02-20
|/
* Added coqvars.mk helper for coq-related packages.Gravatar Samuel Mimram2009-02-19
|
* Use variables from dh-ocaml in rules.Gravatar Samuel Mimram2009-02-19
|
* Remove experimental dependencies and restore ocaml-best-compilerGravatar Stephane Glondu2009-02-19
|
* New Upstream VersionGravatar Stephane Glondu2009-02-19
|
* Upstream version can contain dashesGravatar Stephane Glondu2009-02-19
|
* Explicit more dependencies for autobuildersdebian/8.2.rc2+dfsg-3Gravatar Stephane Glondu2009-02-08
|
* Add more versioned dependencies to please builddsdebian/8.2.rc2+dfsg-2Gravatar Stephane Glondu2009-02-08
|
* Put also OCaml ABI in Coq ABIdebian/8.2.rc2+dfsg-1Gravatar Stephane Glondu2009-02-05
|
* Add NEWS and prepare uploadGravatar Stephane Glondu2009-02-02
|
* Update changelogGravatar Stephane Glondu2009-02-01
|
* Do not install revision fileGravatar Stephane Glondu2009-02-01
| | | | | This file is generated from VCS informations, and doesn't exist when building out of any VCS.
* Add coq-${F:CoqABI} virtual packageGravatar Stephane Glondu2009-02-01
| | | | | | Rationale: *.vo files depend on the version of Coq used to compile them. This virtual package will be useful for other packages providing *.vo (e.g. why, ssreflect).
* Rename binary package coq-libs -> coq-theoriesGravatar Stephane Glondu2009-02-01
| | | | | | Rationale: the name coq-libs is rather confusing for the contents of this package. There is no doubt on the contents of the package with coq-theories.
* Add debian/cleanGravatar Stephane Glondu2009-02-01
|
* Only one out of ledit and cle is neededGravatar Stephane Glondu2009-02-01
|
* Add a build cache (see README.source)Gravatar Stephane Glondu2009-02-01
|
* Show full commands when building CoqGravatar Stephane Glondu2009-02-01
| | | | More useful in build logs
* Update changelogGravatar Stephane Glondu2009-02-01
|
* Update dependenciesGravatar Stephane Glondu2009-02-01
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-28 17:05:32 +0000