Upgrade coq-nix-toolbox to upgrade to elpi 3.4.1

Author: MysaaJava

.nix/config.nix

@@ -24,10 +24,8 @@
     }; };
     "rocq-9.1" = { rocqPackages = {
       rocq-core.override.version = "9.1";
-      rocq-elpi.override.elpi-version = "3.3.0";
     }; coqPackages = common-bundles // {
       coq.override.version = "9.1";
-      coq-elpi.override.elpi-version = "3.3.0";
       trocq-hott.job = false;  # HoTT isn't available yet for 9.1
       trocq.job = false;  # depends on trocq-hott
     }; };

.nix/coq-nix-toolbox.nix

@@ -1 +1 @@
-"142b9f0244007fd0aed3114c423f33b066977632"
+"7af8a21e712b7665447bea5189ce3ff83fcfeac8"