The annotated tag, debian/0.99.1-1 has been created
at b36e49fafd1f86136182de768113e56bca8251a5 (tag)
tagging 156f5288de051c68fb6157ff66edf874bca1d6d0 (commit)
replaces debian/0.5.8-4
tagged by Enrico Tassi
on Sun May 6 22:54:31 2012 +0200
- Shortlog ------------------------------------------------------------
Debian release 0.99.1-1
Enrico Tassi (3):
Imported Upstream version 0.99.1
Merge tag 'upstream/0.99.1'
Matita 0.99.1 packaged
-----------------------------------------------------------------------
--
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
