Le 15. 10. 13 11:19, Louis Bettens a écrit :
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
Oh, I see. Agda is on a git repo. I had an old checkout in my
~/pkg/haskell directory.
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 [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]
