summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/mathcomp-infotheo
AgeCommit message (Expand)Author
2026-05-06rocqPackages.mathcomp-algebra: master depends on micromega-pluginPierre Roux
2026-03-17coqPackages.mathcomp-infotheo: 0.9.6 -> 0.9.7Pierre Roux
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-11-12coqPackages.mathcomp: 2.4.0 -> 2.5.0Pierre Roux
2025-07-08coqPackages.mathcomp-analysis: 1.11.0 -> 1.12.0Pierre Roux
2025-06-30coqPackages.*: fix formatting fixPierre Roux
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-05-10coqPackages.mathcomp-infotheo: 0.9.1 -> 0.9.3Pierre Roux
2025-02-24mathcomp-analysis: 1.8.0 -> 1.9.0Reynald Affeldt
2025-01-08coqPackages.mathcomp-analysis: 1.7.0 -> 1.8.0Pierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-12-04coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 (#361371)Pierre Roux
2024-10-28coqPackages.mathcomp-analysis: 1.4.0 → 1.5.0Vincent Laporte
2024-10-08coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0Vincent Laporte
2024-07-01coq-elpi: 2.0.1 -> 2.2.0 (#323590)Pierre Roux
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-05-27coqPackages.mathcomp-infotheo: 0.6.1 → 0.7.1Vincent Laporte
2024-02-09coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)Sebastian
2023-11-15coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux
2023-06-20mathcomp-infotheo: 0.5.1 -> 0.5.2Reynald Affeldt
2023-05-11mathcomp-infotheo: init at 0.5.1 (#231077)affeldt-aist
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-23 04:00:14 +0000