public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

haskell-liquid-fixpoint: re-generate with cabal2nix

Browse Source
This commit is contained in:
Peter Simons 2015-01-04 13:22:31 +01:00
parent 8fe6dbecef
commit 8d1167f02a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/tools/haskell/liquid-fixpoint/default.nix
View File

@ -1,8 +1,8 @@
# This file was auto-generated by cabal2nix. Please do NOT edit manually! # This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal, ansiTerminal, attoparsec, bifunctors, cmdargs, deepseq { cabal, ansiTerminal, attoparsec, bifunctors, cmdargs, deepseq
, filemanip, filepath, hashable, intern, mtl, parsec, syb, text , filemanip, filepath, hashable, intern, mtl, ocaml, parsec, syb
, textFormat, transformers, unorderedContainers, ocaml , text, textFormat, transformers, unorderedContainers
}: }:
cabal.mkDerivation (self: { cabal.mkDerivation (self: {