diff options
| author | Théo Zimmermann <theo.zimmermann@telecom-paris.fr> | 2026-02-03 15:57:06 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-02-03 15:57:06 +0000 |
| commit | b62a94ca89cfe64b7ba59a1e728b2720e5218909 (patch) | |
| tree | db1223385d60166695220e6b42f454eef05d6a8a /pkgs/top-level | |
| parent | sundials: 7.5.0 -> 7.6.0 (#484622) (diff) | |
| parent | coqPackages.rewriter: 0.0.11 -> 0.0.15 (diff) | |
| download | nixpkgs-b62a94ca89cfe64b7ba59a1e728b2720e5218909.tar.gz | |
Rocq platform 9.0 update (#485359)
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/rocq-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/rocq-packages.nix b/pkgs/top-level/rocq-packages.nix index 84f6f26bb8c4..ed0327ee96ec 100644 --- a/pkgs/top-level/rocq-packages.nix +++ b/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 { }; |