summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/itauto
AgeCommit message (Expand)Author
2025-12-10dune_3: move out of ocamlPackagesVincent Laporte
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-03-14treewide: remove unused rec expressionsSigmanificient
2025-01-18coqPackages.itauto: add missing stdlib dependencyPierre Roux
2024-12-13Add coqPackages.stdlibPierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-09-11coqPackages_8_20.itauto: init at 8.20.0Vincent Laporte
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-03-18coqPackages_8_19.itauto: init at 8.19.0Vincent Laporte
2023-09-21coqPackages.itauto: enable for Coq 8.18Vincent Laporte
2023-06-15coqPackages.itauto: init at 8.17.0 for Coq 8.17Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-09-08coqPackages.itauto: init at 8.16.0Vincent Laporte
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-05-07coqPackages.itauto: init at 8.14.0 & 8.15.0Vincent Laporte
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann
2021-07-01coqPackages.itauto: init at 8.13+noBen Siraphob
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 23:29:31 +0000