summaryrefslogtreecommitdiff
path: root/pkgs/development/rocq-modules
AgeCommit message (Expand)Author
2026-05-06rocqPackages.mathcomp-algebra: master depends on micromega-pluginPierre Roux
2026-05-06rocqPackages.micromega-plugin: init at 1.0.0Pierre Roux
2026-05-05rocqPackages.mathcomp: rename fingroup -> finite-group and character -> group...Pierre Roux
2026-04-03rocqPackages.relation-algebra: enable for Rocq 9.1Vincent Laporte
2026-03-23ocamlPackages.elpi: 3.6.1 -> 3.6.2Pierre Roux
2026-03-17rocqPackages.mathcomp-analysis: init at 1.16.0Pierre Roux
2026-03-12rocqPackages.rocq-elpi: 3.2.0 -> 3.3.0 (#499195)Vincent Laporte
2026-03-12rocqPackages.rocq-elpi: 3.2.0 -> 3.3.0Pierre Roux
2026-03-12rocqPackages.rocq-elpi: fix default elpi versionPierre Roux
2026-03-10rocqPackages.iris: init at 4.5.04ever2
2026-03-09rocqPackages.stdpp: init at 1.13.04ever2
2026-02-25ocamlPackages.elpi: 3.4.2 -> 3.4.5Mysaa Java
2026-02-19rocqPackages.mathcomp-finmap: init at 2.2.2Pierre Roux
2026-02-19rocqPackages.mathcomp-bigenough: init at 1.0.4Pierre Roux
2026-02-11rocqPackages.stdlib: 9.1.0 -> 9.2.0Pierre Roux
2026-02-03Rocq platform 9.0 update (#485359)Théo Zimmermann
2026-02-03rocqPackages.relation-algebra: init at 1.8.0Théo Zimmermann
2026-02-01Update vsrocq (#478436)Théo Zimmermann
2026-01-28rocqPackages.hierarchy-builder: 1.10.0 -> 1.10.2Pierre Roux
2026-01-26Rocq: Update documentationPierre Roux
2026-01-14coqPackages.vsrocq-language-server: init at 2.3.4Théo Zimmermann
2026-01-14rocqPackages.vsrocq-language-server: 2.3.3 -> 2.3.4Théo Zimmermann
2026-01-12rocqPackages.mathcomp: init at 2.5.0Pierre Roux
2026-01-06treewide: remove remaining 'with [a-zA-Z]*lib;' from pkgsIhar Hrachyshka
2025-12-12ocamlPackages.yojson: 2.2.2 → 3.0.0Vincent Laporte
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-11-19rocqPackages.vsrocq-language-server: init at 2.3.3.jstrattonsmith
2025-10-17ocamlPackages.elpi: 3.4.1 -> 3.4.2Mysaa Java
2025-10-09coqPackages.rocq-elpi: 3.1.0 -> 3.2.0Pierre Roux
2025-10-05treewide: remove redundant parenthesesWolfgang Walther
2025-09-23rocqPackages.parseque: enable for Rocq 9.1Vincent Laporte
2025-09-08rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0Pierre Roux
2025-09-03ocamlPackages.elpi: 3.0.1 → 3.3.0Vincent Laporte
2025-08-05ocamlPackages.elpi: 2.0.7 -> 3.0.1Pierre Roux
2025-07-28treewide: conform descriptions to the standardsmivorasu
2025-07-17coqPackages: fix Rocq shim for Coq >= 9Pierre Roux
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-07-08rocq-core_9_1: init at 9.1+rc1Pierre Roux
2025-07-01rocqPackages.parseque init at 0.3.0 (#420742)Wolfgang Meier
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-06-03rocqPackages.hierarchy-builder: init at 1.9.1Pierre Roux
2025-05-16rocqPackages.rocq-elpi: 2.5.1 -> 2.5.2Lucie
2025-04-23rocqPackages.rocq-elpi: 2.5.0 -> 2.5.1R. Ryantm
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2025-03-13rocqPackages.stdlib: 9.0+rc1 -> 9.0.0Pierre Roux
2025-02-18rocqPackages.rocq-elpi: init at 2.5.0Pierre Roux
2025-02-07Add rocqPackages.bignumsPierre Roux
2025-02-07rocq: init at 9.0+rc1Pierre Roux
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 18:42:10 +0000