[Pkg-ocaml-maint-commits] [SCM] matita packaging annotated tag, debian/0.99.1-1, created. debian/0.99.1-1

[Enrico Tassi]

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