Re: Agda needs a patch
Le 15. 10. 13 11:00, Joachim Breitner a écrit :
I’m uploading yi right now. According to
http://jenkins.debian.net/job/chroot-installation_sid_install_haskell/143/ only Agda remains to be fixed. There is no new Agda version, so we need to patch it. Louis, can you see if Agda builds if you allow the newer hashable?
Yes. There was a discrepency between Agda.cabal and debian/control, the
former said hashable up to 1.3 and the latter to 1.2. It's fixed. I'm
trying with pbuilder.
When I grow up,
I will run a Tor node around the clock,
To help threatened protesters 'round the world.