Le 15. 10. 13 11:19, Louis Bettens a écrit :
Oh, I see. Agda is on a git repo. I had an old checkout in my ~/pkg/haskell directory.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
Louis -- When I grow up, I will run a Tor node around the clock, To help threatened protesters 'round the world.