rocqPackages.relation-algebra: init at 1.8.0

pkgs/development/rocq-modules/relation-algebra/default.nix

@@ -0,0 +1,43 @@
+{
+  lib,
+  mkRocqDerivation,
+  rocq-core,
+  stdlib,
+  version ? null,
+}:
+
+mkRocqDerivation {
+  pname = "relation-algebra";
+  owner = "damien-pous";
+
+  inherit version;
+  defaultVersion =
+    lib.switch
+      [ rocq-core.rocq-version ]
+      [
+        {
+          cases = [ (lib.versions.isEq "9.0") ];
+          out = "1.8.0";
+        }
+      ]
+      null;
+
+  releaseRev = v: "v${v}";
+
+  release."1.8.0".sha256 = "sha256-RnY+a57KnStACteaT5dKQoCCH0qp7/W+4qoaApIilj0=";
+
+  propagatedBuildInputs = [
+    stdlib
+  ];
+
+  dontConfigure = true;
+
+  mlPlugin = true;
+
+  meta = {
+    description = "Relation algebra library for Rocq";
+    maintainers = with lib.maintainers; [ siraben ];
+    license = lib.licenses.gpl3Plus;
+    platforms = lib.platforms.unix;
+  };
+}

pkgs/top-level/rocq-packages.nix

@@ -46,6 +46,7 @@ let
       mathcomp-field = self.mathcomp.field;
       mathcomp-character = self.mathcomp.character;
       parseque = callPackage ../development/rocq-modules/parseque { };
+      relation-algebra = callPackage ../development/rocq-modules/relation-algebra { };
       rocq-elpi = callPackage ../development/rocq-modules/rocq-elpi { };
       stdlib = callPackage ../development/rocq-modules/stdlib { };
       vsrocq-language-server = callPackage ../development/rocq-modules/vsrocq-language-server { };