[Pkg-ocaml-maint-commits] [ssreflect] annotated tag debian/1.5_rc1-1 created (now 8cca397)

[Stéphane Glondu]

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

glondu pushed a change to annotated tag debian/1.5_rc1-1
in repository ssreflect.

        at  8cca397   (tag)
   tagging  f60fc919574dad05fcaeaca17722d86f2d74d977 (commit)
  replaces  debian/1.4-2
 tagged by  Stephane Glondu
        on  Sat Aug 10 22:19:40 2013 +0200

- Log -----------------------------------------------------------------
ssreflect Debian release 1.5~rc1-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)

iQIcBAABCgAGBQJSBqBcAAoJEHhT2k1JiBrTLAsP/2Kz3SuS6S6Khah5vE9JU851
+AV2INWgz88y/G7zc//6Bzl9TrVNQ5c1XJkCJ1q1XE/wLeJGAg+o9E3tAVm9Fs+l
pbRHXaYteKiXDjTB79Bsr/NQZC82vYXnzLlaJptkOod1PzE+98XBrHP04L3ePFBE
8/vSfxgFtShm8H+zQgW8M6GGw57K+MZAEBNIzNK/jqTT1qjtZL1g51odVYgBKh5S
xGn/bQVcmxl/zHB3BYEQk9ARdizw/8p64U5CKei5YdQropQf/VzUBmdw94sz3U98
tYL/RkxZgTYfzsJJJoW3nIfx4vUC/BySiUGKsGB7z7u+HZUqZzWcMLYG/VHskd3K
ct0M/4DyQHsheL1Q3IsONbaVyBnMkx1xCGTqdW6AOjvonAOO0DHaKmVCAvdUVDNk
rRt82BzAv/EEjb+82ceXktvNDqd7E9A01ZYWHtHBVIeuwtcXkaIe+ZsIthFBg8gg
4bbYZNEE6BSvAdkaqhvs6WhY2JjT9hJ1OOM0V5Ujk2sNEF941TejoWo9Gv4vZaP6
tWQd2zhVzPb1qlugXFsn6N+M9/g9++3QYWYBJ0zkCWug+MOgX3OPZd6hLlcWOTNX
bJsIEqoOofK5Ks7OdyHT+WCNu14iw3g4zXSxjjeTLGAnVVg0Jby5yNsm9msaqQZi
/4A5xfzP+j5sLqfMvJ9r
=kuiE
-----END PGP SIGNATURE-----

Stephane Glondu (7):
      Update debian/watch
      Imported Upstream version 1.5~rc1
      Merge tag 'upstream/1.5_rc1'
      New upstream release
      Update Vcs-*
      Compile with OCaml >= 4
      Update changelog and prepare upload to experimental

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

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/ssreflect.git