~jgross-h/coq/v8.5-packaging
Viewing all changes in revision 85.
-
Committer:
Samuel Mimram
-
Date:
2007-08-18 20:34:57 UTC
-
Revision ID:
git-v1:e5be0a14a05242ceb5d225e54dbe366dc9c4143b
New upstream release.
- files removed:
-
debian/utils
expand all
collapse all
Show diffs side-by-side
added
removed