diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-05-30 17:30:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-30 17:30:31 +0200 |
| commit | 24432d228e9c7552dd50d2796114119225c5efe9 (patch) | |
| tree | 31e344fd7f357a6a57c012c634190f2ae169ae32 /pkgs/applications/science | |
| parent | 77c55f9a5ccb7887d5d4558e5e954005c4517e80 (diff) | |
| parent | 692d478e893cea2ed3154fa6fad5d96aa9377006 (diff) | |
Merge pull request #310394 from Sigmanificient/remove-2y-broken
Remove long (18+ months) broken packages
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/petrinizer/default.nix | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/pkgs/applications/science/logic/petrinizer/default.nix b/pkgs/applications/science/logic/petrinizer/default.nix deleted file mode 100644 index 9fd20e3ed4afd..0000000000000 --- a/pkgs/applications/science/logic/petrinizer/default.nix +++ /dev/null @@ -1,31 +0,0 @@ -{ mkDerivation -, async, base, bytestring, containers, fetchFromGitLab, mtl -, parallel-io, parsec, lib, stm, transformers, sbv_7_13}: - -mkDerivation rec { - pname = "petrinizer"; - version = "0.9.1.1"; - - src = fetchFromGitLab { - domain = "gitlab.lrz.de"; - owner = "i7"; - repo = pname; - rev = version; - sha256 = "1n7fzm96gq5rxm2f8w8sr1yzm1zcxpf0b473c6xnhsgqsis5j4xw"; - }; - - isLibrary = false; - isExecutable = true; - executableHaskellDepends = [ - async base bytestring containers mtl parallel-io parsec sbv_7_13 stm - transformers - ]; - 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; - - # dependency sbv no longer builds - hydraPlatforms = lib.platforms.none; - broken = true; -} |