[Pkg-haskell-commits] [agda] annotated tag debian/2.4.0.2-1 created (now 2d76b8f)
Iain Lane
laney at moszumanska.debian.org
Mon Aug 11 17:06:34 UTC 2014
This is an automated email from the git hooks/post-receive script.
laney pushed a change to annotated tag debian/2.4.0.2-1
in repository agda.
at 2d76b8f (tag)
tagging 7924e21fdcdc1ba9f50301de97e72d878ab3611e (commit)
replaces debian/2.3.2.2-1
tagged by Iain Lane
on Mon Aug 11 18:06:03 2014 +0100
- Log -----------------------------------------------------------------
agda Debian release 2.4.0.2-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAABCgAGBQJT6Pf7AAoJEONS1cUcUEHUtsIP/jRAy/oWmNTeh502eVY9W26b
SJ6bWfP2951BwrvPNvG8z5Y3NZ+a2v9U2YRVVAwO+AbML70t+00hQqp48qMTznNj
kbC8f7/wUyJrOPFbz1kx0MpOzg5krUohGsmY0cgLycw1EKZ1f7cpNpZFTUT5zdv8
5DkkwQ3tlus02aRcSyM1w9sjrraMX8q7GN34ercAJK36DpI1RrkfXqEOZz2/4Rlc
TspkqIzU/5401MsnAbLTvbmnl0gduLMDWkV1xVOe+mOdf1H/97dWJ7QnbdUR22s1
DX7bjaV6MBqd1J6Q2Y6FYB2zTBoxV7xNaoAJdLCCZ/NnxR799SDPJjIvZHcQEKv0
lZm1hHcBgFu12XUTtg7IM0ezvMkWCJvf0ZQDmfHA0GiDPj8C76QRe3izwoD2C2Ip
LtEENY8ZNQuYrR9QVeSwcWbizfafHnIUNeyxUDc7OJtdyk7SGTBPoyjIKXgFoqt8
Nijohz3zlBNIJ5cyt+9GTaVQkTBsbaf91NOno6F0R1AnP/3vvFWzkmiPDjZ7z+Ca
sHwCVtP0/yQtZdYrKJszR+NfBKclDMVNN0er/JPLjHoPQeFdVeNXUpCFtbq9JXdY
QYD+vfp6PpbgEZGDnLoDv/WQEZ0JkiG7Pn5yLLf8OqBe7/aBQEyga5EN/daf2c4e
bfqJlwR0Fkb0Kc2w/9pq
=2q+D
-----END PGP SIGNATURE-----
Iain Lane (9):
Imported Upstream version 2.3.2.1
Imported Upstream version 2.3.2.2
Imported Upstream version 2.4.0.2
Merge tag 'upstream/2.3.2.2'
Merge tag 'upstream/2.4.0.2'
Update Build-Depends to match control
Install the new primitives
Fix typo dev→doc
Update & finalise changelog
-----------------------------------------------------------------------
No new revisions were added by this update.
--
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