summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/jasmin
AgeCommit message (Expand)Author
2026-05-06rocqPackages.mathcomp-algebra: master depends on micromega-pluginPierre Roux
2026-04-14coqPackages.jasmin: 2025.06.1 → 2026.03.1Vincent Laporte
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-09-16coqPackages.jasmin: 2025.02.0 → 2025.06.1Vincent Laporte
2025-07-09coqPackages.*: more 9.0 -> 9.1Pierre 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: 2.3.0 -> 2.4.0Pierre Roux
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2025-03-18coqPackages.jasmin: 2024.07.3 → 2025.02.0Vincent Laporte
2025-03-18coqPackages.jasmin: 2024.07.2 → 2024.07.3Vincent Laporte
2025-03-18Revert "coqPackages.jasmin: 2024.07.2 -> 2025.02.0"Vincent Laporte
2025-03-10coqPackages.jasmin: 2024.07.2 -> 2025.02.0R. Ryantm
2025-02-24coqPackages.mathcomp*: update stdlib dependenciesPierre Roux
2025-02-17coqPackages.jasmin: init at 2024.07.2 (#382064)Pierre Roux
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 20:55:06 +0000