Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-11-15 | coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046) | Pierre Roux | 1 | -1/+1 |
2023-03-30 | Add coqPackages.mathcomp-apery | Pierre Roux | 1 | -0/+23 |
![]() |
index : mirror/nixpkgs | |
Nix packages collection |
about summary refs log tree commit diff |
Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-11-15 | coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046) | Pierre Roux | 1 | -1/+1 |
2023-03-30 | Add coqPackages.mathcomp-apery | Pierre Roux | 1 | -0/+23 |