| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046) | Pierre Roux | 2023-11-15 |
| * | mathcomp-infotheo: 0.5.1 -> 0.5.2 | Reynald Affeldt | 2023-06-20 |
| * | mathcomp-infotheo: init at 0.5.1 (#231077) | affeldt-aist | 2023-05-11 |
| index : nixlib | |
| Alyssa's collection of Nix expressions | Alyssa Ross |
| about summary refs log tree commit diff |
| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046) | Pierre Roux | 2023-11-15 |
| * | mathcomp-infotheo: 0.5.1 -> 0.5.2 | Reynald Affeldt | 2023-06-20 |
| * | mathcomp-infotheo: init at 0.5.1 (#231077) | affeldt-aist | 2023-05-11 |