summaryrefslogtreecommitdiff
path: root/debian/changelog
Commit message (Expand)AuthorAge
* Updated to OCaml 3.08.3 + small fixes.Gravatar Samuel Mimram2005-03-25
* New upstream release: 8.0pl2.debian/8.0pl2-1Gravatar Samuel Mimram2005-01-31
* rebuilt (just for fixing bytecode-only powerpc .deb)Gravatar Stefano Zacchiroli2004-12-13
* rebuilt with ocaml 3.08.2 (debian version 8.0pl1-4)Gravatar Stefano Zacchiroli2004-12-01
* Set urgency to high.debian/8.0pl1-3Gravatar Samuel Mimram2004-08-26
* Patched for OCaml 3.08.1 + other minor things.Gravatar Samuel Mimram2004-08-23
* Versionned the dependency to ocaml-base-nox, added enhanced manpages.Gravatar Samuel Mimram2004-08-19
* Depend on ocaml-base-nox if coq is compiled in bytecode.Gravatar Samuel Mimram2004-08-18
* Let's see if coqide builds in bytecode on alpha.Gravatar Samuel Mimram2004-08-17
* We will upload it in unstable.debian/8.0pl1-1Gravatar Samuel Mimram2004-07-28
* Removed the not-uploaded-version from the changelog.Gravatar Samuel Mimram2004-07-21
* We're uploading in experimental.Gravatar Samuel Mimram2004-07-21
* Corrected a typo.Gravatar Samuel Mimram2004-07-21
* Ready for 3.08 + removed dpatch support.Gravatar Samuel Mimram2004-07-21
* Corrected a bug due to a really unexpected bheaviour of make.Gravatar Samuel Mimram2004-07-18
* Try to build in opt, ready for dpatch, manpages added (but not used yet).Gravatar Samuel Mimram2004-07-17
* Getting prepared for the licensing-problems-free 8.0 release of COQ.Gravatar Samuel Mimram2004-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-30 22:18:13 +0000