[Pkg-haskell-commits] [SCM] Packaging for Agda annotated tag, upstream/2.3.0.1, updated. upstream/2.3.0.1

[Joachim Breitner]

The annotated tag, upstream/2.3.0.1 has been updated
        to  cfa2c1b68c42018fae04fdab6918ea04ef279469 (tag)
      from  4c78c9e2825ba1622e6774db805b04e006ce5219 (which is now obsolete)
   tagging  4c58ec48ea43bde25acb8225cd2e7ce0e9f53fcc (commit)
  replaces  upstream/2.3.0
 tagged by  Joachim Breitner
        on  Mon Mar 12 14:29:30 2012 +0100

- Shortlog ------------------------------------------------------------
its a tag
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEABECAAYFAk9d+j0ACgkQ9ijrk0dDIGyejwCfbNZwqXgzKjsEHQDa/ORZOlTq
k3QAnAhU6VIwINWeR3XjbMKjpIMnQ+kp
=4Sk5
-----END PGP SIGNATURE-----

Joachim Breitner (1):
      Imported Upstream version 2.3.0.1

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

-- 
Packaging for Agda