This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/8.5.1-1
in repository aac-tactics.
at 84b579b (tag)
tagging 017a43a2b7bc66434c52dcff5e87bc47efea0b09 (commit)
replaces debian/0.4-5
tagged by Stephane Glondu
on Mon Aug 1 12:42:59 2016 +0200
- Log -----------------------------------------------------------------
aac-tactics Debian release 8.5.1-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAABCgAGBQJXnyezAAoJEHhT2k1JiBrTppYQAKXnN7NCCIPiWUejtvZ6ZucS
57ZE6J/aNnXPVLzx8A3kuxhEFNrY4v4httTAaj7wORuQ1bRtXmPVyDixysj3nqge
DriW3jmEj6lRRUfcKA3xtpHlt6EXsszUoy5aYhN8zmmN075rkjIMckpMHK/zA5QE
BhvzzT5CP1Xy56hetbr10ac3FdlqAltbZBbgdhwA9zjU5NqMKBZyCgIfAdYdgKKY
NcpAvo8682K00NBEZ2/9nmzng1G213lEYUi/oF4IWv1ZBw7o5oW7ofXeC6wBf2/n
B8bu4M6rUx4vyHfGSj4dH2v0ipywq1oBkTt73c1WYe4pBgTcFGhtx0bW9Lo3xRrP
Mi1I25K+y2PrytZ0Oa2DBsaKl33eCBTDrYITGcsyCigHEVirHTa7vHRkVWcax0MX
udHV6iHzNllu83DpJLM4U2lsZuuibAyo9EPE4wAGbGXV3jMl6U14GDWYeY+dXKCV
KjwsF9BSBHrV9x4kZgbnRKXdDMv90oiawDvzDayU9zuJLm+I8LXMVsqOh1Do8izi
WXkKmjRf6RkR3yAwAnHSoGTEv5kHCVEc5q8i96BOHNajg5Zz/J7Z4i5faZAZTQy4
64yAlCjFM0ogRNoVc2+4au5G5NHdc/gWFnxXyKR57TvViB60UPmMZf9xCObWj95b
R1mtxuNn751O5cJ7QiKK
=K1ky
-----END PGP SIGNATURE-----
Nicolas Braud-Santoni (13):
Use HTTPS for Vcs-* links
New upstream URL & watch file
Imported Upstream version 8.5.1
Merge tag 'upstream/8.5.1'
debian/rules: Do not fail on non-installed files
Fix installed docs
Fix typos
Bump Standards-Version to 3.9.8
Prepare upload
debian/changelog: Close bug #813459
Update 0001-Fix-typos.patch
Fail on non-installed files, and install .v files
Update changelog
Stephane Glondu (1):
Upload to unstable
-----------------------------------------------------------------------
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/aac-tactics.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
