diff options
author | Pascal Wittmann <mail@pascal-wittmann.de> | 2017-06-04 17:18:58 +0200 |
---|---|---|
committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2017-06-04 17:19:23 +0200 |
commit | 2c84e814e8261e2910595e40ee4e3e6b74ed5302 (patch) | |
tree | 140b04de0fe51325ab354ba48f922d88990e6bf1 /pkgs/top-level | |
parent | fabb5aa4b5182be445ddb50b66f818b95bdef182 (diff) | |
download | nixlib-2c84e814e8261e2910595e40ee4e3e6b74ed5302.tar nixlib-2c84e814e8261e2910595e40ee4e3e6b74ed5302.tar.gz nixlib-2c84e814e8261e2910595e40ee4e3e6b74ed5302.tar.bz2 nixlib-2c84e814e8261e2910595e40ee4e3e6b74ed5302.tar.lz nixlib-2c84e814e8261e2910595e40ee4e3e6b74ed5302.tar.xz nixlib-2c84e814e8261e2910595e40ee4e3e6b74ed5302.tar.zst nixlib-2c84e814e8261e2910595e40ee4e3e6b74ed5302.zip |
randoop: init at 3.1.5
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 8bca3cee8905..ce212b7482e9 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7072,6 +7072,8 @@ with pkgs; ragel = ragelStable; + randoop = callPackage ../development/tools/analysis/randoop { }; + inherit (callPackages ../development/tools/parsing/ragel { tex = texlive.combined.scheme-small; }) ragelStable ragelDev; |