/pkgs/development/libraries/haskell/smtLib/
../
default.nix