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.
--
To UNSUBSCRIBE, email to debian-haskell-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/525d0898.9020...@bettens.info
