diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/by-name/yi/yices/package.nix
similarity index 93%
rename from pkgs/applications/science/logic/yices/default.nix
rename to pkgs/by-name/yi/yices/package.nix
index 937643c4abde..d47da8915619 100644
--- a/pkgs/applications/science/logic/yices/default.nix
+++ b/pkgs/by-name/yi/yices/package.nix
@@ -3,12 +3,15 @@
   stdenv,
   fetchFromGitHub,
   cudd,
-  gmp-static,
+  gmp,
   gperf,
   autoreconfHook,
   libpoly,
 }:
 
+let
+  gmp-static = gmp.override { withStatic = true; };
+in
 stdenv.mkDerivation rec {
   pname = "yices";
   version = "2.6.5";
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 219c66990f05..f617a48a2f10 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -15105,10 +15105,6 @@ with pkgs;
 
   why3 = callPackage ../applications/science/logic/why3 { coqPackages = coqPackages_8_20; };
 
-  yices = callPackage ../applications/science/logic/yices {
-    gmp-static = gmp.override { withStatic = true; };
-  };
-
   tlaps = callPackage ../applications/science/logic/tlaplus/tlaps.nix {
     inherit (ocaml-ng.ocamlPackages_4_14_unsafe_string) ocaml;
   };