summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
* Prepare upload to experimentaldebian/8.3.rc1+dfsg-1Gravatar Stephane Glondu2010-08-10
* New upstream release candidateGravatar Stephane Glondu2010-08-10
* Update changelog and prepare upload to experimentaldebian/8.3.beta0+13323-1Gravatar Stephane Glondu2010-07-24
* Add 0001-Fix-installation-of-emacs-files.patchGravatar Stephane Glondu2010-07-24
* Update copyright fileGravatar Stephane Glondu2010-07-24
* New upstream snapshotGravatar Stephane Glondu2010-07-24
* Update changelog and prepare upload to experimentaldebian/8.3.beta0+13298-1Gravatar Stephane Glondu2010-07-21
* Refresh copyright fileGravatar Stephane Glondu2010-07-21
* Install plugins in (new) binary package libcoq-ocamlGravatar Stephane Glondu2010-07-21
* Update packaging according to upstream changesGravatar Stephane Glondu2010-07-21
* New branchesGravatar Stephane Glondu2010-07-21
* New upstream snapshotGravatar Stephane Glondu2010-07-21
* Update changelog and prepare upload to unstabledebian/8.2.pl2+dfsg-1Gravatar Stephane Glondu2010-07-02
* Add 0002-Remove-dependency-to-Unix-from-module-Profile.patchGravatar Stephane Glondu2010-07-02
* Fix a few warningsGravatar Stephane Glondu2010-07-02
* Remove Stefano and Remi from UploadersGravatar Stephane Glondu2010-07-01
* Bump SV to 3.9.0Gravatar Stephane Glondu2010-07-01
* Use dh with overridesGravatar Stephane Glondu2010-07-01
* Use debhelper more thoroughlyGravatar Stephane Glondu2010-07-01
* Switch source package format to 3.0 (quilt)Gravatar Stephane Glondu2010-07-01
* New upstream releaseGravatar Stephane Glondu2010-07-01
* Add 0003-Fix-build-with-OCaml-3.12.patchGravatar Stephane Glondu2010-06-28
* 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
* 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
* 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 git+ssh://git.debian.org//git/pkg-ocaml-maint/packag...Gravatar Samuel Mimram2009-02-20
|\
* | Install CSS for stdlib documentation.Gravatar Samuel Mimram2009-02-20
| * Update changelogGravatar Stephane Glondu2009-02-20
| * Remove dependency on dpatchGravatar Stephane Glondu2009-02-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 04:34:40 +0000