From 428cdfbf1fcf60169d63db7882fc76eec0f566c3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Charlotte=20=F0=9F=A6=9D=20Delenk?= <lotte@chir.rs>
Date: Fri, 6 Sep 2024 13:53:49 +0200
Subject: [PATCH] add extra-math

---
 default.nix | 3 +++
 spec.json   | 7 ++++++-
 2 files changed, 9 insertions(+), 1 deletion(-)

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