| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2024-02-09 | coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276) | Sebastian | 1 | -4/+10 | |
| Co-authored-by: Pierre Roux <pierre.roux@onera.fr> | |||||
| 2023-11-15 | coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046) | Pierre Roux | 1 | -1/+1 | |
| * coqPackages.mathcomp: 1.17.0 -> 1.18.0 * coqPackages.mathcomp-analysis: 0.6.5 -> 0.6.6 | |||||
| 2023-06-20 | mathcomp-infotheo: 0.5.1 -> 0.5.2 | Reynald Affeldt | 1 | -0/+2 | |
| 2023-05-11 | mathcomp-infotheo: init at 0.5.1 (#231077) | affeldt-aist | 1 | -0/+19 | |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |