diff --git a/default.nix b/default.nix
index 31bae0d..0a77c67 100644
--- a/default.nix
+++ b/default.nix
@@ -1,11 +1,13 @@
 {
   nixpkgs,
+  extra-math,
   rand-testsuite-prs,
   rust-template-prs,
 }: let
   pkgs = import nixpkgs {};
   prs = with pkgs.lib;
     concatLists (map (f: attrValues (builtins.fromJSON (builtins.readFile f))) [
+      extra-math
       rand-testsuite-prs
       rust-template-prs
     ]);
@@ -96,6 +98,7 @@
           };
         };
       }) [
+        "extra_math"
         "rand_testsuite"
         "rust-template"
       ]);
diff --git a/spec.json b/spec.json
index d526d74..c057d55 100644
--- a/spec.json
+++ b/spec.json
@@ -35,6 +35,11 @@
             "value": "ci",
             "emailresponsible": false
         },
+        "extra-math-prs": {
+            "type": "giteapulls",
+            "value": "git.chir.rs ProcyOS extra_math",
+            "emailresponsible": false
+        },
         "rand-testsuite-prs": {
             "type": "giteapulls",
             "value": "git.chir.rs ProcyOS rand_testsuite",
@@ -46,4 +51,4 @@
             "emailresponsible": false
         }
     }
-}
+}
\ No newline at end of file