[Pkg-haskell-commits] [SCM] Packaging for Agda annotated tag, upstream/2.3.2, created. upstream/2.3.2
Iain Lane
laney at debian.org
Wed Apr 10 09:52:35 UTC 2013
The annotated tag, upstream/2.3.2 has been created
at 4bc438f4a7cfd24f4ef8931d97ff4fb1017188ac (tag)
tagging dfbca48e71155efd633f47c987ccf52aedb367da (commit)
replaces upstream/2.3.0.1
tagged by Iain Lane
on Sun Dec 16 20:02:04 2012 +0000
- Shortlog ------------------------------------------------------------
Upstream version 2.3.2
Iain Lane (1):
Imported Upstream version 2.3.2
-----------------------------------------------------------------------
--
Packaging for Agda
More information about the Pkg-haskell-commits
mailing list