~jgross-h/coq/v8.5-packaging

Viewing all changes in revision 30.

  • Committer: Samuel Mimram
  • Date: 2004-08-19 14:02:47 UTC
  • Revision ID: git-v1:74da2b554fffaff54d7a473b4bfcb6d5a6e430d1
Versionned the dependency to ocaml-base-nox, added enhanced manpages.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: