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

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.

Reply to: