Le 15. 10. 13 11:00, Joachim Breitner a écrit :
Hi, 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? Thanks, Joachim
Hi,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.
Louis -- When I grow up, I will run a Tor node around the clock, To help threatened protesters 'round the world.