The annotated tag, upstream/8.3pl4 has been created
at 7c42e1c947d26b7e95958690b1bfcae5ac93bf8d (tag)
tagging 8381e5297424e0e6690dd6ddcc278961dc56e3dc (commit)
replaces upstream/8.3pl3
tagged by Stephane Glondu
on Fri Apr 6 07:32:22 2012 +0200
- Shortlog ------------------------------------------------------------
Upstream version 8.3pl4
Stephane Glondu (1):
Imported Upstream version 8.3pl4
-----------------------------------------------------------------------
--
coq-doc packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
