[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