haskellPackages: regenerate package set based on current config
``` ./maintainers/scripts/haskell/regenerate-hackage-packages.sh ``` No update of Hackage or Stackage.
This commit is contained in:
@@ -277,7 +277,6 @@ dont-distribute-packages:
|
||||
- bitcoin-api-extra
|
||||
- bitcoin-block
|
||||
- bitcoin-tx
|
||||
- bitcoin-types
|
||||
- bitcoind-regtest
|
||||
- Bitly
|
||||
- bitly-cli
|
||||
@@ -2205,7 +2204,6 @@ dont-distribute-packages:
|
||||
- MFlow
|
||||
- Mhailist
|
||||
- Michelangelo
|
||||
- micro-gateway
|
||||
- microformats2-types
|
||||
- MicroHs
|
||||
- MicrosoftTranslator
|
||||
@@ -3148,7 +3146,6 @@ dont-distribute-packages:
|
||||
- sibe
|
||||
- sigma-ij
|
||||
- signals
|
||||
- signature
|
||||
- signify-hs
|
||||
- silvi
|
||||
- simgi
|
||||
|
||||
+119
-139
@@ -108139,7 +108139,6 @@ self: {
|
||||
];
|
||||
description = "Provides consistent low-level types used commonly among Bitcoin implementations";
|
||||
license = lib.licenses.mit;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -421049,142 +421048,125 @@ self: {
|
||||
}
|
||||
) { };
|
||||
|
||||
"liquid-fixpoint" =
|
||||
callPackage
|
||||
(
|
||||
{
|
||||
mkDerivation,
|
||||
aeson,
|
||||
ansi-terminal,
|
||||
array,
|
||||
ascii-progress,
|
||||
async,
|
||||
attoparsec,
|
||||
base,
|
||||
binary,
|
||||
boxes,
|
||||
bytestring,
|
||||
cereal,
|
||||
cmdargs,
|
||||
containers,
|
||||
deepseq,
|
||||
directory,
|
||||
fgl,
|
||||
filepath,
|
||||
git,
|
||||
hashable,
|
||||
intern,
|
||||
lens-family,
|
||||
megaparsec,
|
||||
mtl,
|
||||
nettools,
|
||||
optparse-applicative,
|
||||
parallel,
|
||||
parser-combinators,
|
||||
pretty,
|
||||
process,
|
||||
rest-rewrite,
|
||||
smtlib-backends,
|
||||
smtlib-backends-process,
|
||||
stm,
|
||||
store,
|
||||
syb,
|
||||
tagged,
|
||||
tasty,
|
||||
tasty-ant-xml,
|
||||
tasty-hunit,
|
||||
tasty-quickcheck,
|
||||
tasty-rerun,
|
||||
text,
|
||||
transformers,
|
||||
unordered-containers,
|
||||
vector,
|
||||
z3,
|
||||
}:
|
||||
mkDerivation {
|
||||
pname = "liquid-fixpoint";
|
||||
version = "0.9.6.3.3";
|
||||
sha256 = "07dpgi5iwi1kf182vpcy5h3xq3bjxsvp16ayafbr0wv8wxg6l5ib";
|
||||
configureFlags = [ "-fbuild-external" ];
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
libraryHaskellDepends = [
|
||||
aeson
|
||||
ansi-terminal
|
||||
array
|
||||
ascii-progress
|
||||
async
|
||||
attoparsec
|
||||
base
|
||||
binary
|
||||
boxes
|
||||
bytestring
|
||||
cereal
|
||||
cmdargs
|
||||
containers
|
||||
deepseq
|
||||
directory
|
||||
fgl
|
||||
filepath
|
||||
hashable
|
||||
intern
|
||||
lens-family
|
||||
megaparsec
|
||||
mtl
|
||||
parallel
|
||||
parser-combinators
|
||||
pretty
|
||||
process
|
||||
rest-rewrite
|
||||
smtlib-backends
|
||||
smtlib-backends-process
|
||||
stm
|
||||
store
|
||||
syb
|
||||
text
|
||||
transformers
|
||||
unordered-containers
|
||||
vector
|
||||
];
|
||||
executableHaskellDepends = [ base ];
|
||||
testHaskellDepends = [
|
||||
base
|
||||
containers
|
||||
directory
|
||||
filepath
|
||||
hashable
|
||||
mtl
|
||||
optparse-applicative
|
||||
process
|
||||
stm
|
||||
tagged
|
||||
tasty
|
||||
tasty-ant-xml
|
||||
tasty-hunit
|
||||
tasty-quickcheck
|
||||
tasty-rerun
|
||||
text
|
||||
transformers
|
||||
unordered-containers
|
||||
];
|
||||
testSystemDepends = [
|
||||
git
|
||||
nettools
|
||||
z3
|
||||
];
|
||||
doCheck = false;
|
||||
description = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
mainProgram = "fixpoint";
|
||||
broken = true;
|
||||
}
|
||||
)
|
||||
{
|
||||
inherit (pkgs) git;
|
||||
inherit (pkgs) nettools;
|
||||
inherit (pkgs) z3;
|
||||
};
|
||||
"liquid-fixpoint" = callPackage (
|
||||
{
|
||||
mkDerivation,
|
||||
aeson,
|
||||
ansi-terminal,
|
||||
array,
|
||||
ascii-progress,
|
||||
async,
|
||||
attoparsec,
|
||||
base,
|
||||
binary,
|
||||
boxes,
|
||||
bytestring,
|
||||
cereal,
|
||||
cmdargs,
|
||||
containers,
|
||||
deepseq,
|
||||
directory,
|
||||
fgl,
|
||||
filepath,
|
||||
hashable,
|
||||
intern,
|
||||
lens-family,
|
||||
megaparsec,
|
||||
mtl,
|
||||
optparse-applicative,
|
||||
parallel,
|
||||
parser-combinators,
|
||||
pretty,
|
||||
process,
|
||||
rest-rewrite,
|
||||
smtlib-backends,
|
||||
smtlib-backends-process,
|
||||
stm,
|
||||
store,
|
||||
syb,
|
||||
tagged,
|
||||
tasty,
|
||||
tasty-ant-xml,
|
||||
tasty-hunit,
|
||||
tasty-quickcheck,
|
||||
tasty-rerun,
|
||||
text,
|
||||
transformers,
|
||||
unordered-containers,
|
||||
vector,
|
||||
}:
|
||||
mkDerivation {
|
||||
pname = "liquid-fixpoint";
|
||||
version = "0.9.6.3.3";
|
||||
sha256 = "07dpgi5iwi1kf182vpcy5h3xq3bjxsvp16ayafbr0wv8wxg6l5ib";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
libraryHaskellDepends = [
|
||||
aeson
|
||||
ansi-terminal
|
||||
array
|
||||
ascii-progress
|
||||
async
|
||||
attoparsec
|
||||
base
|
||||
binary
|
||||
boxes
|
||||
bytestring
|
||||
cereal
|
||||
cmdargs
|
||||
containers
|
||||
deepseq
|
||||
directory
|
||||
fgl
|
||||
filepath
|
||||
hashable
|
||||
intern
|
||||
lens-family
|
||||
megaparsec
|
||||
mtl
|
||||
parallel
|
||||
parser-combinators
|
||||
pretty
|
||||
process
|
||||
rest-rewrite
|
||||
smtlib-backends
|
||||
smtlib-backends-process
|
||||
stm
|
||||
store
|
||||
syb
|
||||
text
|
||||
transformers
|
||||
unordered-containers
|
||||
vector
|
||||
];
|
||||
executableHaskellDepends = [ base ];
|
||||
testHaskellDepends = [
|
||||
base
|
||||
containers
|
||||
directory
|
||||
filepath
|
||||
hashable
|
||||
mtl
|
||||
optparse-applicative
|
||||
process
|
||||
stm
|
||||
tagged
|
||||
tasty
|
||||
tasty-ant-xml
|
||||
tasty-hunit
|
||||
tasty-quickcheck
|
||||
tasty-rerun
|
||||
text
|
||||
transformers
|
||||
unordered-containers
|
||||
];
|
||||
description = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
mainProgram = "fixpoint";
|
||||
broken = true;
|
||||
}
|
||||
) { };
|
||||
|
||||
"liquid-ghc-prim" = callPackage (
|
||||
{
|
||||
@@ -444398,7 +444380,6 @@ self: {
|
||||
];
|
||||
description = "A Micro service gateway";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
mainProgram = "simple-gateway";
|
||||
}
|
||||
) { };
|
||||
@@ -607253,7 +607234,6 @@ self: {
|
||||
];
|
||||
description = "Hmac sha256 signature json and http payload";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
|
||||
Reference in New Issue
Block a user