[Agda] ANNOUNCE: Agda 184.108.40.206
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.
> 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