The annotated tag, upstream/8.2.beta4+dfsg has been created
at e8b83c4c98f9c298496b8513cdce07dd8a162889 (tag)
tagging 870075f34dd9fa5792bfbf413afd3b96f17e76a0 (commit)
replaces upstream/8.2.beta3+dfsg
tagged by Stephane Glondu
on Fri Aug 8 13:18:47 2008 +0200
- Shortlog ------------------------------------------------------------
Upstream version 8.2~beta4+dfsg
Stephane Glondu (1):
Imported Upstream version 8.2~beta4+dfsg
-----------------------------------------------------------------------
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits