about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/dpdgraph
AgeCommit message (Expand)AuthorFilesLines
2024-03-28coqPackages_8_19.dpdgraph: init at 1.0+8.19Vincent Laporte1-0/+2
2023-11-17coqPackages.dpdgraph: remove for Coq < 8.7Vincent Laporte1-2/+0
2023-11-17coqPackages_8_18.dpdgraph: init at 1.0+8.18Vincent Laporte1-0/+2
2023-05-22coqPackages_8_17.dpdgraph: init at 1.0+8.17Vincent Laporte1-0/+2
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-6/+5
2022-07-28coqPackages_8_16.dpdgraph: init at 1.0+8.16Vincent Laporte1-0/+2
2022-05-25coqPackages: etcCyril Cohen1-2/+2
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-2/+2
2022-05-12coqPackages: etcCyril Cohen1-2/+2
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid1-1/+1
2022-02-06coqPackages_8_15.dpdgraph: init at 1.0+8.15Vincent Laporte1-0/+2
2021-10-31coqPackages.dpdgraph: 0.6.9 → 1.0Vincent Laporte1-1/+4
2021-02-14coqPackages.dpdgraph: init at 0.6.9 for Coq 8.13Vincent Laporte1-0/+2
2021-01-09coqPackages: refactorCyril Cohen1-70/+40
2020-10-09coqPackages.dpdgraph: do not depend on camlp5 for recent versions of CoqVincent Laporte1-1/+2
2020-09-01coqPackages.dpdgraph: init at 0.6.8 for Coq 8.12Vincent Laporte1-0/+4
2020-04-13coqPackages.dpdgraph: fix build with OCaml ≥ 4.08Vincent Laporte1-0/+10
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-03-10coqPackages.dpdgraph: enable for Coq ≥ 8.9Vincent Laporte1-2/+14
2019-12-30treewide: installFlags is a listRobin Gloster1-4/+4
2019-08-26treewide: remove redundant quotesvolth1-1/+1
2019-02-01Revert "coq-modules: add default to fix eval"Vincent Laporte1-1/+1
2019-01-28coq-modules: add default to fix evalMatthew Bauer1-1/+1
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann1-3/+3
2018-05-09coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8Vincent Laporte1-0/+5
2018-03-21coq: init at 8.8+beta1Vincent Laporte1-2/+9
2017-11-12coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7John Wiegley1-1/+6
2017-10-30coqPackages.dpdgraph: remove support for coq 8.7Maxime Dénès1-5/+0
2017-10-22coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley1-0/+5
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson1-1/+2
2017-01-12coqPackages.dpdgraph: 0.5 -> 0.6{,.1}Vincent Laporte1-5/+17
2016-05-03coq-dpdgraph: init at 0.5Vincent Laporte1-0/+31
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-06 17:15:56 +0000