[Agda] ANNOUNCE: Agda

Andreas Abel abela at chalmers.se
Sat Nov 2 21:19:22 CET 2013

Yeah, this time you got the complete content of our attic shipped with 
Agda:  There are excitings things like our email addresses and our 
glorious test suite, but then there are heaps of junk containing 
rejected papers, stale to-do lists, examples that were sexy 6 years 
ago...  Enjoy! :)

Eh, seriously, I you plan to ship that garbage with the next Linux 
distro, I'd say no, that is after all a bit embarrasing...


On 02.11.2013 11:02, Nils Anders Danielsson wrote:
> 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.
>> http://hdiff.luite.com/cgit/Agda/diff/?id=
> 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
> action.

More information about the Agda mailing list