Vincent Laporte
|
fc7f8bb8e6
|
coqPackages.mathcomp-analysis: 1.4.0 → 1.5.0
coqPackages.mathcomp-infotheo: 0.7.2 → 0.7.3
|
2024-10-28 07:20:47 +01:00 |
|
Vincent Laporte
|
782c8b0451
|
coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0
coqPackages.mathcomp-infotheo: 0.7.1 → 0.7.2
|
2024-10-08 20:58:47 +02:00 |
|
Pierre Roux
|
383e9b5696
|
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
elpi: 1.18.1 -> 1.19.2
|
2024-07-01 08:04:15 +02:00 |
|
Alexis Hildebrandt
|
755b915a15
|
treewide: Remove indefinite article from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
| xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
|
2024-06-09 23:07:45 +02:00 |
|
Vincent Laporte
|
150a859d34
|
coqPackages.mathcomp-infotheo: 0.6.1 → 0.7.1
|
2024-05-27 05:31:26 +02:00 |
|
Sebastian
|
6ed38373dc
|
coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
|
2024-02-09 18:24:43 +01:00 |
|
Pierre Roux
|
c2892b3fc9
|
coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)
* coqPackages.mathcomp: 1.17.0 -> 1.18.0
* coqPackages.mathcomp-analysis: 0.6.5 -> 0.6.6
|
2023-11-15 13:22:46 +01:00 |
|
Reynald Affeldt
|
b2f53e3726
|
mathcomp-infotheo: 0.5.1 -> 0.5.2
|
2023-06-20 21:18:53 +02:00 |
|
affeldt-aist
|
8a92dd9a9a
|
mathcomp-infotheo: init at 0.5.1 (#231077)
|
2023-05-11 23:09:28 +02:00 |
|