[Pkg-haskell-commits] [agda] annotated tag debian/2.4.0.2-2 created (now 1877d5b)

[Colin Watson]

This is an automated email from the git hooks/post-receive script.

cjwatson pushed a change to annotated tag debian/2.4.0.2-2
in repository agda.

        at  1877d5b   (tag)
   tagging  f7b96eedbde150a831d4014c0ca84841f9613ae0 (commit)
  replaces  debian/2.3.2.2-1
 tagged by  Colin Watson
        on  Mon Aug 11 12:23:19 2014 +0100

- Log -----------------------------------------------------------------
tagging package agda version debian/2.4.0.2-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUAU+inqDk1h9l9hlALAQiYVQ//etiOJr1AgrDFvAtxwsljTBuTdDavX2Lp
xDWkkyZZCCWMHB+H435xRRKNOOJCkVxxnWRHr1WCJRB+LA9hEKimXwdeMH1EVFJB
+N9zfTcHXt2U0kxGiVgsqgkUwRd5aUKPXWwvzWVCQXV5LvsnD8o8X5E7TNcYqw+k
qhNUSoxclIrHRZFzrz3Q0U/AWIzdCUlmIdrInbZI/6gP/ztsV0OqaYqauVLHRnt/
8g1tVwcwN56C2mMQwknE9/t98OfPC9pGlL1b9SJ5oEONlgiZM5JL/i5v0Nrs2LZJ
wVh2nnRnrBlr4sDTh0/JjxxBj5N9phl9KZyDvBi+2yDVP5NSeDtnPVsdRw0ST93L
dmDYjKZQCN0UN5+LL36UlNlnGyh7oMpicECgaKvkhfbXdGtS3BgcDJV96axDWf+m
oqzzXIXCxM6uoYUmI5iMLt/BVrn/e/yUdUNw4bs+TBoemakvalY/sqdJjSesWdJc
AMcNRlvzD2z0YPqhNKVnKNxgXMSXPIOCdSQ1jxJP5W1dpE4wxv+Vxw+p0j+zUksl
8MBb3qItB9z63kn4sNjFuQ84ouoIoDqsUq7oueiT9VBOb4lPEGD71t0D5nJit+sn
ohZIp0hnGouIX9WEu+S734XD7VvGNNfHK18Oi5gHBYmzn8Q0GlMQ+/7OSqL/1vQG
H08VZHXH/Ho=
=gzUe
-----END PGP SIGNATURE-----

Colin Watson (2):
      Pregenerate the Primitive.agdai interface file in libghc-agda-dev, since agda users typically can't write to that directory.  Fixes agda-stdlib build.
      Update & finalise changelog

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

-----------------------------------------------------------------------

This annotated tag includes the following new commits:

       new  e33e7a9   Pregenerate the Primitive.agdai interface file in libghc-agda-dev, since agda users typically can't write to that directory.  Fixes agda-stdlib build.
       new  f7b96ee   Update & finalise changelog

The 2 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