Merge pull request #74727 from cdepillabout/purescript-psa-node-packages

nodePackages.purescript-psa: init at 0.7.3
This commit is contained in:
Dennis Gosnell 2019-12-20 20:35:15 +09:00 committed by GitHub
commit b9a83f7442
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 3875 additions and 3583 deletions

View file

@ -104,6 +104,7 @@
, "pnpm"
, "prettier"
, "pulp"
, "purescript-psa"
, "react-native-cli"
, "react-tools"
, "reveal.js"

File diff suppressed because it is too large Load diff

View file

@ -8142,8 +8142,12 @@ in
psc-package = haskell.lib.justStaticExecutables
(haskellPackages.callPackage ../development/compilers/purescript/psc-package { });
purescript-psa = nodePackages.purescript-psa;
spago = haskell.lib.justStaticExecutables haskellPackages.spago;
pulp = nodePackages.pulp;
tacacsplus = callPackage ../servers/tacacsplus { };
tamarin-prover =