nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 07:23:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #197732 from msooseth/non-broken-smt2-parser

Browse Source 
smt2-parser is no longer broken
This commit is contained in:
maralorn 2022-10-25 15:39:25 +02:00 committed by GitHub
commit 395281a0e9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/development/haskell-modules/configuration-hackage2nix/broken.yaml
View File

@ -4697,7 +4697,6 @@ broken-packages:
- smiles
- smoothie
- smsaero
- smt2-parser
- smt-lib
- SmtLib
- smtlib2

2
pkgs/development/haskell-modules/hackage-packages.nix generated
View File

@ -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