[agda] annotated tag debian/2.4.2.5-1 created (now 3ea3771)
Iain Lane
laney at moszumanska.debian.org
Mon Jan 4 13:02:33 UTC 2016
This is an automated email from the git hooks/post-receive script.
laney pushed a change to annotated tag debian/2.4.2.5-1
in repository agda.
at 3ea3771 (tag)
tagging 502b96c2cb28eabc4e35d612f087fdc5e980383d (commit)
replaces debian/2.4.2.2-4
tagged by Iain Lane
on Mon Jan 4 12:56:50 2016 +0000
- Log -----------------------------------------------------------------
agda Debian release 2.4.2.5-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAABCgAGBQJWimwSAAoJEONS1cUcUEHUaNYQAIMgkwW8JCnC31L04eBC0EGl
QA4MUp00++F69dS7SPalQNbOoqbSw0uykNHMKQKmCHJQLhIKFZSnlHCsfjLGkWY9
5fWViliGiilHqs3/adtIBE6l92w8wsLQzQ11yznX/wll28mL1LSvH13U3VVrlk+f
gCFVsoANya/k/8UKgqIJqnZUMdIJ7W0KQCfruiz7BK+zvsL8pQwByCDb8smzqXCS
ofyphK3kP3+rro3FHURdoFxu4G/1Py1wMDsIg3hoUa3oeDVr6tSGIo2378UmO6oZ
VfVevO7/JW19dRxhk5F5vVKSlMeViWq+aHurTgUGEQ5iNBD0uhupY/jSsxB/bZW4
qD7fAZU3OJBOd+vHvUR68p3b+kWc0LZ9sxh4haDHciBSDsw34iuue6cQBkM833eS
Ui6T/BcuNYxhvn2qY6Hh9cBm2eIY8PwHnRNcPjsY2TCCs03DMlPw1g1Lr8C5fdI1
p12U0BO7u/vlSb5C9Ddf3uIRI+p+Dxx+BiNeTjUKzU5e3JbtrUf1mf7pTIKSlsuU
msmkFkker5A2bYw3+dGLOqeFaum2e9n4XZOhg5cHY4N9kUg4rsGjMqYHfxsddtli
aMqcs3EbBfmTXgF6RMXSXsoM4RJpfXwqttnUe9Cs6OINJr7w732IQfnaa3ELru2x
MAsWdzgVq0w5tbTtmhcK
=4yWp
-----END PGP SIGNATURE-----
Iain Lane (8):
Imported Upstream version 2.4.2.3
Imported Upstream version 2.4.2.5
Merge tag 'upstream/2.4.2.5'
Update build-deps for new release
Remove patches which are applied upstream
Update changelog
Update mtl dep version
Finalise changelog
-----------------------------------------------------------------------
This annotated tag includes the following new commits:
new 2fafd4d Imported Upstream version 2.4.2.3
new a116bca Imported Upstream version 2.4.2.5
new 457a205 Merge tag 'upstream/2.4.2.5'
new 2c258f5 Update build-deps for new release
new 7d835fa Remove patches which are applied upstream
new b5bd85b Update changelog
new 5fc7f86 Update mtl dep version
new 502b96c Finalise changelog
The 8 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/agda.git
More information about the Pkg-haskell-commits
mailing list