The annotated tag, upstream/0.99.1 has been created
at b60bff185235a2664be9c120eacc37240d9d2de4 (tag)
tagging 2c65a3dc9da1af0ca1810d6e23a5bb8bcdd64115 (commit)
replaces upstream/0.5.8
tagged by Enrico Tassi
on Sun May 6 18:10:31 2012 +0200
- Shortlog ------------------------------------------------------------
Upstream version 0.99.1
Enrico Tassi (1):
Imported Upstream version 0.99.1
-----------------------------------------------------------------------
--
matita packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
