Peter Simons fcac0afb3a haskell-Agda: jailbreak to support the latest version of 'hashtables'		2013-02-09 18:17:32 +01:00
..
default.nix	haskell-Agda: jailbreak to support the latest version of 'hashtables'	2013-02-09 18:17:32 +01:00