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

Reply via email to