summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/simple-io
AgeCommit message (Expand)Author
2026-02-03coqPackages.simple-io: 1.10.0 -> 1.11.0Théo Zimmermann
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-07-24treewide: run nixfmt 1.0.0Wolfgang Walther
2025-07-09coqPackages.*: 9.0 -> 9.1Pierre Roux
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2025-01-26coq_9_0: init at 9.0+rc1Pierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-11-07coqPackages.ExtLib: 0.12.1 → 0.12.2Vincent Laporte
2024-09-23coqPackages.simple-io: 1.8.0 → 1.10.0Vincent Laporte
2024-07-23coqPackages: Enable override with dev branches (#329356)Pierre Roux
2023-12-19Bump a few things compiling with Coq 8.19Pierre Roux
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte
2023-06-08coqPackages.simple-io: 1.7.0 → 1.8.0Vincent Laporte
2023-01-24Merge pull request #212009 from Shawn8901/remove_with_lib_2Weijia Wang
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol
2022-10-07coqPackages.simple-io: fix & add testsVincent Laporte
2022-06-13coqPackages.simple-io: enable for Coq 8.16Vincent Laporte
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-13Revert "moving findlib to propagedNativeBuildInputs"Vincent Laporte
2022-05-12moving findlib to propagedNativeBuildInputsCyril Cohen
2022-05-12coqPackages: etcCyril Cohen
2022-04-29coqPackages.simple-io: 1.3.0 → 1.7.0Vincent Laporte
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2021-04-14coqPackages.simple-io: enable for Coq 8.13Lars Rasmusson
2021-01-09coqPackages: refactorCyril Cohen
2020-08-19coqPackages.simple-io: enable for Coq 8.12Vincent Laporte
2020-06-23coqPackages.simple-io: 1.2.0 → 1.3.0Vincent Laporte
2020-03-06coqPackages.simple-io: enable for Coq 8.10Vincent Laporte
2019-06-06coqPackages.simple-io: 1.0.0 -> 1.2.0Vincent Laporte
2019-05-15coq: init at 8.10+β1Vincent Laporte
2019-03-18coqPackages.coq-simple-io: 0.2 -> 1.0.0Vincent Laporte
2018-12-10coqPackages.simple-io: init at 0.2Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 21:53:20 +0000