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