The annotated tag, upstream/0.93 has been created
at 59ef75eebcbe2d0957e9244a77ad205ceb847ced (tag)
tagging 1d67fbbc33c1865f409a6ac71c34581d595bde6c (commit)
replaces upstream/0.91
tagged by Mehdi Dogguy
on Fri Apr 15 22:49:02 2011 +0200
- Shortlog ------------------------------------------------------------
Upstream version 0.93
Mehdi Dogguy (1):
Imported Upstream version 0.93
-----------------------------------------------------------------------
--
alt-ergo packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
