[Pkg-ocaml-maint-commits] [prooftree] annotated tag debian/0.13-1 created (now cfb4b7d)

[Hendrik Tews]

This is an automated email from the git hooks/post-receive script.

hendrik-guest pushed a change to annotated tag debian/0.13-1
in repository prooftree.

        at  cfb4b7d   (tag)
   tagging  ece0febce920f08ec2b71e00bc2ed3104cd93f48 (commit)
  replaces  debian/0.12-2
 tagged by  Hendrik Tews
        on  Tue Jan 3 17:03:47 2017 +0100

- Log -----------------------------------------------------------------
prooftree Debian release 0.13-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAABCgAGBQJYa8tjAAoJEOxoV33tyu5oEZEQAJBTBmvYIAVrfw4szIAkKEFf
4+5sPut7LtqtIzE71R1yeMk8yQjQhTsJXCydgknQHUfLUyi2tmcKMvsl0Qp+TsB9
hH1KbrfDwb3urFKyf/FFWf7pqQ1g1P3iM9+D98WQ0QTE36gPJRbPX+1vl6XoGoL1
L4PLQ1zfMrthNIO9GHZv/WmZvhAp9xD/4MmVEYOKdmdp3b9vRT+bd8WYAD3P6CZ1
Y4RUAVNIgByA0P3quQwuDHLScUYUC6zYsoOHxwzeUKhtYUx2A+R/GYgIuiWikKPp
CWhc/Mue0foJ1GcjevkDD6F8jGKMAF/liwIWNKnX1b7119Td4PkmH7gRy6TPhrf1
fZgZqIukTC9w9MYIvVxEtRv2/ZQNB8c/ycldmAhP9WpySY7S3tnLm2C8kdjUafUz
dn42lgPsESXeJ6WgwsBJ50OFuSBd+pGAIKdXo2v/g4x6CgQm2K0bQk7W7jI3d5yS
i95gb22eO7ctuLdJ9H9+84mVoeuNJxpoKabOj94yjPXq7kP/gEjsYJ9SeASShPt7
dwoh050ltP4vRqp2fcYXUtgheVwmFhorCcZzsPXQixrGCaJuZMLqJBuY7W1xyKpx
Gc6QQ4NgDDeJ5Mba4bsoQ5jt2/IZN+yZCVs2j5w0AArrCjdTflB2rkASy17VGaqQ
1l8zMiQxSUoLuYfQ3ENr
=iTAJ
-----END PGP SIGNATURE-----

Hendrik Tews (3):
      Imported Upstream version 0.13
      Merge tag 'upstream/0.13'
      update packaging

-----------------------------------------------------------------------

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git