From 018cff749ccb5fe83e65a590b7b3f9882f69807d Mon Sep 17 00:00:00 2001
From: jopejoe1 <jopejoe1@missing.ninja>
Date: Thu, 21 Aug 2025 18:10:15 +0200
Subject: [PATCH] verit: move to by-name

---
 pkgs/by-name/is/isabelle/package.nix                        | 6 +++---
 .../verit/default.nix => by-name/ve/verit/package.nix}      | 4 ++--
 pkgs/top-level/aliases.nix                                  | 1 +
 pkgs/top-level/all-packages.nix                             | 4 ----
 4 files changed, 6 insertions(+), 9 deletions(-)
 rename pkgs/{applications/science/logic/verit/default.nix => by-name/ve/verit/package.nix} (95%)

diff --git a/pkgs/by-name/is/isabelle/package.nix b/pkgs/by-name/is/isabelle/package.nix
index e9d3ec865eca..21edd614080b 100644
--- a/pkgs/by-name/is/isabelle/package.nix
+++ b/pkgs/by-name/is/isabelle/package.nix
@@ -8,7 +8,7 @@
   java,
   scala_3,
   polyml,
-  veriT,
+  verit,
   vampire,
   eprover-ho,
   rlwrap,
@@ -81,7 +81,7 @@ stdenv.mkDerivation (finalAttrs: {
 
   buildInputs = [
     polyml
-    veriT
+    verit
     vampire'
     eprover-ho
     net-tools
@@ -103,7 +103,7 @@ stdenv.mkDerivation (finalAttrs: {
     patchShebangs lib/Tools/ bin/
 
     cat >contrib/verit-*/etc/settings <<EOF
-      ISABELLE_VERIT=${veriT}/bin/veriT
+      ISABELLE_VERIT=${verit}/bin/veriT
     EOF
 
     cat >contrib/e-*/etc/settings <<EOF
diff --git a/pkgs/applications/science/logic/verit/default.nix b/pkgs/by-name/ve/verit/package.nix
similarity index 95%
rename from pkgs/applications/science/logic/verit/default.nix
rename to pkgs/by-name/ve/verit/package.nix
index df1dc578fc78..66608bddbc10 100644
--- a/pkgs/applications/science/logic/verit/default.nix
+++ b/pkgs/by-name/ve/verit/package.nix
@@ -1,6 +1,6 @@
 {
   lib,
-  stdenv,
+  gccStdenv,
   fetchurl,
   autoreconfHook,
   gmp,
@@ -8,7 +8,7 @@
   bison,
 }:
 
-stdenv.mkDerivation {
+gccStdenv.mkDerivation {
   pname = "veriT";
   version = "2021.06.2";
 
diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix
index 3c386be4aed3..d966def3c8de 100644
--- a/pkgs/top-level/aliases.nix
+++ b/pkgs/top-level/aliases.nix
@@ -2133,6 +2133,7 @@ mapAliases {
   ventoy-bin = ventoy; # Added 2023-04-12
   ventoy-bin-full = ventoy-full; # Added 2023-04-12
   verilog = iverilog; # Added 2024-07-12
+  veriT = verit; # Added 2025-08-21
   vieb = throw "'vieb' has been removed as it doesn't satisfy our security criteria for browsers."; # Added 2025-06-25
   ViennaRNA = viennarna; # Added 2023-08-23
   vimHugeX = vim-full; # Added 2022-12-04
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index f617a48a2f10..aca6eea8ff3f 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -15099,10 +15099,6 @@ with pkgs;
     ocaml = ocaml-ng.ocamlPackages_4_14_unsafe_string.ocaml;
   };
 
-  veriT = callPackage ../applications/science/logic/verit {
-    stdenv = gccStdenv;
-  };
-
   why3 = callPackage ../applications/science/logic/why3 { coqPackages = coqPackages_8_20; };
 
   tlaps = callPackage ../applications/science/logic/tlaplus/tlaps.nix {