nixpkgs/pkgs/development/tools/haskell/liquid-fixpoint
2015-01-04 20:56:50 +01:00
..
default.nix haskell-liquid-fixpoint: re-generate with cabal2nix 2015-01-04 20:56:50 +01:00