diff options
Diffstat (limited to 'pkgs/by-name/sy/symfpu/package.nix')
| -rw-r--r-- | pkgs/by-name/sy/symfpu/package.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/by-name/sy/symfpu/package.nix b/pkgs/by-name/sy/symfpu/package.nix index 791431770d4b..7d7e2f7b9f73 100644 --- a/pkgs/by-name/sy/symfpu/package.nix +++ b/pkgs/by-name/sy/symfpu/package.nix @@ -46,7 +46,7 @@ stdenv.mkDerivation rec { ''; meta = with lib; { - description = "(concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point"; + description = "Implementation of SMT-LIB / IEEE-754 operations in terms of bit-vector operations"; homepage = "https://github.com/martin-cs/symfpu"; license = licenses.gpl3Only; platforms = platforms.unix; |