diff options
Diffstat (limited to 'pkgs/development/libraries/haskell/Agda/default.nix')
| -rw-r--r-- | pkgs/development/libraries/haskell/Agda/default.nix | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/pkgs/development/libraries/haskell/Agda/default.nix b/pkgs/development/libraries/haskell/Agda/default.nix new file mode 100644 index 0000000000000..e1f5b27c0ec64 --- /dev/null +++ b/pkgs/development/libraries/haskell/Agda/default.nix @@ -0,0 +1,15 @@ +{cabal, QuickCheck, binary, haskeline, haskellSrc, mtl, utf8String, xhtml, zlib, + happy, alex}: + +cabal.mkDerivation (self : { + pname = "Agda"; + version = "2.2.2"; + sha256 = "265dbb5bc6d67bfeefa4a2a4ac9e5018d6d8b5c1a75816e05da2661c43a39bba"; + extraBuildInputs = [happy alex]; + propagatedBuildInputs = + [QuickCheck binary haskeline haskellSrc mtl utf8String xhtml zlib]; + meta = { + description = "A dependently typed functional language and proof assistant"; + }; +}) + |