diff options
author | Robert Scott <code@humanleg.org.uk> | 2019-12-08 16:46:29 +0000 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2019-12-12 10:37:02 -0600 |
commit | c6760630472b50d71acce3157834171dc4ff0bc0 (patch) | |
tree | 2e293f6ed5d0f9d65733b7353e6ad245325d3e6f /pkgs/applications/science/logic/btor2tools | |
parent | b9185a96be097574241e038ef6468d7cb37336c9 (diff) |
btor2tools: correct meta information
Diffstat (limited to 'pkgs/applications/science/logic/btor2tools')
-rw-r--r-- | pkgs/applications/science/logic/btor2tools/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/btor2tools/default.nix b/pkgs/applications/science/logic/btor2tools/default.nix index 2d00e9f30464f..2aedfb1d07ecb 100644 --- a/pkgs/applications/science/logic/btor2tools/default.nix +++ b/pkgs/applications/science/logic/btor2tools/default.nix @@ -24,8 +24,8 @@ stdenv.mkDerivation { outputs = [ "out" "dev" "lib" ]; meta = with stdenv.lib; { - description = "Fast SAT solver"; - homepage = http://fmv.jku.at/lingeling/; + description = "A generic parser and tool package for the BTOR2 format"; + homepage = "https://github.com/Boolector/btor2tools"; license = licenses.mit; platforms = platforms.linux; maintainers = with maintainers; [ thoughtpolice ]; |