verit: move to by-name

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

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";
 

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

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 {