diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-05-06 16:23:33 +0200 |
---|---|---|
committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-05-06 16:24:58 +0200 |
commit | eaeb69862c6ae9c3d32e78c7b72d652906213e80 (patch) | |
tree | 8bfcf0a9f8b10ecd62feecadb4777de73c2263fd /pkgs/applications/science/logic/petrinizer | |
parent | 73c2dd4aa67cf9ef970554b45c39e7756bd1e92d (diff) | |
download | nixpkgs-eaeb69862c6ae9c3d32e78c7b72d652906213e80.tar nixpkgs-eaeb69862c6ae9c3d32e78c7b72d652906213e80.tar.gz nixpkgs-eaeb69862c6ae9c3d32e78c7b72d652906213e80.tar.bz2 nixpkgs-eaeb69862c6ae9c3d32e78c7b72d652906213e80.tar.lz nixpkgs-eaeb69862c6ae9c3d32e78c7b72d652906213e80.tar.xz nixpkgs-eaeb69862c6ae9c3d32e78c7b72d652906213e80.tar.zst nixpkgs-eaeb69862c6ae9c3d32e78c7b72d652906213e80.zip |
petrinizer: restrict platforms by sbv
sbv has the most limited range of platforms of the dependencies.
Diffstat (limited to 'pkgs/applications/science/logic/petrinizer')
-rw-r--r-- | pkgs/applications/science/logic/petrinizer/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/petrinizer/default.nix b/pkgs/applications/science/logic/petrinizer/default.nix index 3977eb6a4ed..e28137dde75 100644 --- a/pkgs/applications/science/logic/petrinizer/default.nix +++ b/pkgs/applications/science/logic/petrinizer/default.nix @@ -24,4 +24,5 @@ mkDerivation rec { description = "Safety and Liveness Analysis of Petri Nets with SMT solvers"; license = lib.licenses.gpl3; maintainers = with lib.maintainers; [ raskin ]; + inherit (sbv_7_13.meta) platforms; } |