public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

btor2tools: correct meta information

Browse Source
This commit is contained in:
Robert Scott 2019-12-08 16:46:29 +00:00 committed by Austin Seipp
parent b9185a96be
commit c676063047
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/btor2tools/default.nix
View File

@ -24,8 +24,8 @@ stdenv.mkDerivation {
outputs = [ "out" "dev" "lib" ]; outputs = [ "out" "dev" "lib" ];
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "Fast SAT solver"; description = "A generic parser and tool package for the BTOR2 format";
homepage = http://fmv.jku.at/lingeling/; homepage = "https://github.com/Boolector/btor2tools";
license = licenses.mit; license = licenses.mit;
platforms = platforms.linux; platforms = platforms.linux;
maintainers = with maintainers; [ thoughtpolice ]; maintainers = with maintainers; [ thoughtpolice ];