[Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20130811-1 created (now 2b34c47)
Hendrik Tews
hendrik-guest at alioth.debian.org
Fri Aug 16 10:23:49 UTC 2013
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
More information about the Pkg-ocaml-maint-commits
mailing list