Expand coqPackages filter list

Author: SuperSandro2000

nix/build-packages.nix

@@ -81,7 +81,8 @@ in
     (attrName:
     let
       derv = lib.getAttrFromPath attrName pkgs;
-      pkg = mkPackage attrName derv;
+      # uncomment to figure out which exact package caused an eval error
+      pkg = /* lib.trace "${lib.concatStringsSep "." attrName}" */ mkPackage attrName derv;
       # tryEval (deepSeq ...) makes sure we catch all potential throws in all attributes early on
       # NOTE: running deepSeq on any derivation results in an infinite recursion due to stdenv.passthru generating a warning
       pkgEvalResult = builtins.tryEval (builtins.deepSeq pkg pkg);

nix/list-packages.nix

@@ -27,8 +27,9 @@ let
     || name == "ghcHEAD"
     # ... or binary variants
     || (lib.hasPrefix "ghc" name && lib.hasSuffix "Binary" name)
-    # coqPackages_X_X re-exports all packages, including packages that do not eval that version
-    || (attrPrefix != [ ] && lib.hasPrefix "coqPackages" (lib.head attrPrefix) && name == "coqPackages")
+    # coqPackages_X_X/rocqPackages_X_X re-exports all packages, including packages that do not eval for that version
+    || (attrPrefix != [ ] && lib.hasPrefix "coqPackages" (lib.head attrPrefix) && (name == "coqPackages" || name == "rocqPackages"))
+    || (attrPrefix != [ ] && lib.hasPrefix "rocqPackages" (lib.head attrPrefix) && name == "rocqPackages")
     # qt exposes sources under srcs
     || name == "srcs"
     # broken since buildPython* supports "finalAttrs"-pattern