smt2-parser is no longer broken#197732

maralorn merged 1 commit intoNixOS:haskell-updatesNixOS/nixpkgs:haskell-updatesfrom

msooseth:non-broken-smt2-parsermsooseth/nixpkgs:non-broken-smt2-parserCopy head branch name to clipboard