smt2-parser is no longer broken
This commit is contained in:
parent
ceaeb56133
commit
f92f333983
|
@ -4697,7 +4697,6 @@ broken-packages:
|
|||
- smiles
|
||||
- smoothie
|
||||
- smsaero
|
||||
- smt2-parser
|
||||
- smt-lib
|
||||
- SmtLib
|
||||
- smtlib2
|
||||
|
|
|
@ -262942,8 +262942,6 @@ self: {
|
|||
testHaskellDepends = [ base HUnit parsec text ];
|
||||
description = "A Haskell parser for SMT-LIB version 2.6";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
broken = true;
|
||||
}) {};
|
||||
|
||||
"smtLib" = callPackage
|
||||
|
|
Loading…
Reference in a new issue