Commit 48a6a79

committed

rocqPackages.mathcomp: init at 2.4.0

1 parent b48d926 commit 48a6a79Copy full SHA for 48a6a79

2 files changed

+629

-3

lines changed

.github/workflows
- nix-action-rocq-9.0.yml
.nix
- nixpkgs.nix

2 files changed

+629

-3

lines changed

Comments

(0)