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

hendrik-guest pushed a change to annotated tag debian/20130811-1
in repository hol-light.

        at  2b34c47   (tag)
   tagging  90f4d63880c0aa832b38b98eb187a602329acfaa (commit)
  replaces  debian/20130511-1
 tagged by  Hendrik Tews
        on  Fri Aug 16 12:06:21 2013 +0200

- Log -----------------------------------------------------------------
Debian release 20130811-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCAAGBQJSDfmdAAoJEOxoV33tyu5o6WgP/jm4xcz26XPoOIe/ClReDMSp
BwnCq79pjIFxCNETvko7Izq+eqf+/uq2pt/6hvw9AkUpiuNEGfPMLV7XzI+znCs5
mtjyGwIHSZvyWvsygLkFjsB2XuvgFaBN+9egSDoZNO5pZPK5MWdtvFZtciaKkpIZ
YPB6bNRZttLgxOnKQtJ6OrZ+46g26gYartSbFHbRKHqUmSCGJm56tyHmQycA1uU0
DA/U5OtLFucdgycrhMPTWRnaZs+MxgZxqUeZ4Q1mCIvy9cFVje4rerlDdQaEMwAe
SiLg+qIxs4eAjRyOB0BJEQNIXRaq8WzfiRmYb5erXRvISKsoO24Ak/zlYcZmOMxH
8B/mcAZH8VsFAuD16x7Ke25mksbhvDNVV8q4qObACjIOvCSuLsLSF/3bgJOZdesP
/Ujg5AAfSHiiULIEzA1ASMr+P4nQk7Y1g1J7BGGUBUhKPNw6qqhsJ5+S90g6zJ9r
iLl0rjeM6yHKz0nShZtqpAhqTxH9UIcPCg1CpE6PUJ+Nmd8SwskDRKhjKwNa/LJb
iqG0TSOKzuMdYoXIdwkHjEkOgJfxxReIEbzbOuUb8NINtAvwB482UoCWzB7IFkkB
8H6ru/hhi6ULyxByrkfb7liRITI3LexS1m7DvaK/vvkXJ5X3rti4+rqc+3R5Il4j
SjUim6DCVkgHHM64OxNu
=OGG4
-----END PGP SIGNATURE-----

Hendrik Tews (7):
      lintian canonical vcs
      Imported Upstream version 20130811
      Merge tag 'upstream/20130811'
      fix debian/changelog
      update patches
      update elc path in hol-light-source.exclude
      update copyright

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

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/hol-light.git

_______________________________________________
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