summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/dpdgraph/default.nix
AgeCommit message (Expand)Author
2026-01-06coqPackages_9_1.dpdgraph: init at 1.0+9.1Vincent Laporte
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-09-03coqPackages.dpdgraph: 1.0+8.20 -> 1.0+9.0Pierre Roux
2025-06-30coqPackages.*: better formatting fixPierre Roux
2025-06-21coqPackages.*: fix formattingPierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-11-19coqPackages_8_20.dpdgraph: init at 1.0+8.20Vincent Laporte
2024-03-28coqPackages_8_19.dpdgraph: init at 1.0+8.19Vincent Laporte
2023-11-17coqPackages.dpdgraph: remove for Coq < 8.7Vincent Laporte
2023-11-17coqPackages_8_18.dpdgraph: init at 1.0+8.18Vincent Laporte
2023-05-22coqPackages_8_17.dpdgraph: init at 1.0+8.17Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-07-28coqPackages_8_16.dpdgraph: init at 1.0+8.16Vincent Laporte
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid
2022-02-06coqPackages_8_15.dpdgraph: init at 1.0+8.15Vincent Laporte
2021-10-31coqPackages.dpdgraph: 0.6.9 → 1.0Vincent Laporte
2021-02-14coqPackages.dpdgraph: init at 0.6.9 for Coq 8.13Vincent Laporte
2021-01-09coqPackages: refactorCyril Cohen
2020-10-09coqPackages.dpdgraph: do not depend on camlp5 for recent versions of CoqVincent Laporte
2020-09-01coqPackages.dpdgraph: init at 0.6.8 for Coq 8.12Vincent Laporte
2020-04-13coqPackages.dpdgraph: fix build with OCaml ≥ 4.08Vincent Laporte
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-03-10coqPackages.dpdgraph: enable for Coq ≥ 8.9Vincent Laporte
2019-12-30treewide: installFlags is a listRobin Gloster
2019-08-26treewide: remove redundant quotesvolth
2019-02-01Revert "coq-modules: add default to fix eval"Vincent Laporte
2019-01-28coq-modules: add default to fix evalMatthew Bauer
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann
2018-05-09coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8Vincent Laporte
2018-03-21coq: init at 8.8+beta1Vincent Laporte
2017-11-12coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7John Wiegley
2017-10-30coqPackages.dpdgraph: remove support for coq 8.7Maxime Dénès
2017-10-22coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson
2017-01-12coqPackages.dpdgraph: 0.5 -> 0.6{,.1}Vincent Laporte
2016-05-03coq-dpdgraph: init at 0.5Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 22:05:18 +0000