[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: [Agda] ANNOUNCE: Agda

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

Reply to: