diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2009-08-25 08:28:08 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2009-08-25 08:28:08 +0000 |
commit | 9e928bb1e91d014c6408c26081c16751215d8d06 (patch) | |
tree | bb48e5b95e5c7bbdd06ea75d3b69eb59ba50e9b3 /pkgs/tools/misc | |
parent | e6b1990f24833dd68ae700074d00c8c0885df3a3 (diff) | |
download | nixlib-9e928bb1e91d014c6408c26081c16751215d8d06.tar nixlib-9e928bb1e91d014c6408c26081c16751215d8d06.tar.gz nixlib-9e928bb1e91d014c6408c26081c16751215d8d06.tar.bz2 nixlib-9e928bb1e91d014c6408c26081c16751215d8d06.tar.lz nixlib-9e928bb1e91d014c6408c26081c16751215d8d06.tar.xz nixlib-9e928bb1e91d014c6408c26081c16751215d8d06.tar.zst nixlib-9e928bb1e91d014c6408c26081c16751215d8d06.zip |
Adding eProver to buildfarm via maintanership
svn path=/nixpkgs/trunk/; revision=16854
Diffstat (limited to 'pkgs/tools/misc')
-rw-r--r-- | pkgs/tools/misc/eProver/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/tools/misc/eProver/default.nix b/pkgs/tools/misc/eProver/default.nix index 495f98ffb04b..30353e122c12 100644 --- a/pkgs/tools/misc/eProver/default.nix +++ b/pkgs/tools/misc/eProver/default.nix @@ -28,5 +28,7 @@ stdenv.mkDerivation { meta = { description = "E automated theorem prover"; + maintainers = [stdenv.lib.maintainers.raskin]; + platforms = stdenv.lib.platforms.all; }; } |