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-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 |