diff options
author | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2017-08-01 21:48:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-01 21:48:47 +0200 |
commit | d1af3b33aaf4bda72d4d1aa0d40500d7c8109f72 (patch) | |
tree | 2c231c972179092e9a6677156211bde4755b665e /pkgs/top-level | |
parent | 93965870a805e2f255b096d33ecb9cc31e43db21 (diff) | |
parent | 313b8b7e4bc232880b6732aa990b681eee45f628 (diff) | |
download | nixlib-d1af3b33aaf4bda72d4d1aa0d40500d7c8109f72.tar nixlib-d1af3b33aaf4bda72d4d1aa0d40500d7c8109f72.tar.gz nixlib-d1af3b33aaf4bda72d4d1aa0d40500d7c8109f72.tar.bz2 nixlib-d1af3b33aaf4bda72d4d1aa0d40500d7c8109f72.tar.lz nixlib-d1af3b33aaf4bda72d4d1aa0d40500d7c8109f72.tar.xz nixlib-d1af3b33aaf4bda72d4d1aa0d40500d7c8109f72.tar.zst nixlib-d1af3b33aaf4bda72d4d1aa0d40500d7c8109f72.zip |
Merge pull request #27006 from Infinisil/scyther
scyther: init at 1.1.3
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 1b149b36bac6..6dd9427c2ce0 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18043,6 +18043,8 @@ with pkgs; plm = callPackage ../applications/science/programming/plm { }; + scyther = callPackage ../applications/science/programming/scyther { }; + ### SCIENCE/LOGIC abc-verifier = callPackage ../applications/science/logic/abc {}; |