[Agda] ANNOUNCE: Agda 22.214.171.124
Nils Anders Danielsson
nad at cse.gu.se
Sat Nov 2 11:02:56 CET 2013
On 2013-11-01 18:33, Joachim Breitner wrote:
> there are lots of changes in the package, including benchmark logs that
> look like data that are not meant to be released.
We generate two kinds of tar balls, one for the Agda wiki containing
lots of files (darcs dist), and one for Hackage, containing fewer files
(cabal sdist). This time it seems as if I accidentally uploaded the
"wiki" tar ball to Hackage...
The Hackage package still builds, so I don't think we need to take any
More information about the Agda