summary refs log tree commit diff
path: root/pkgs/development/coq-modules/dpdgraph
Commit message (Expand)AuthorAge
* coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid2022-02-25
* coqPackages_8_15.dpdgraph: init at 1.0+8.15Vincent Laporte2022-02-06
* coqPackages.dpdgraph: 0.6.9 → 1.0Vincent Laporte2021-10-31
* coqPackages.dpdgraph: init at 0.6.9 for Coq 8.13Vincent Laporte2021-02-14
* coqPackages: refactorCyril Cohen2021-01-09
* coqPackages.dpdgraph: do not depend on camlp5 for recent versions of CoqVincent Laporte2020-10-09
* coqPackages.dpdgraph: init at 0.6.8 for Coq 8.12Vincent Laporte2020-09-01
* coqPackages.dpdgraph: fix build with OCaml ≥ 4.08Vincent Laporte2020-04-13
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* coqPackages.dpdgraph: enable for Coq ≥ 8.9Vincent Laporte2020-03-10
* treewide: installFlags is a listRobin Gloster2019-12-30
* treewide: remove redundant quotesvolth2019-08-26
* Revert "coq-modules: add default to fix eval"Vincent Laporte2019-02-01
* coq-modules: add default to fix evalMatthew Bauer2019-01-28
* coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann2018-10-19
* coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8Vincent Laporte2018-05-09
* coq: init at 8.8+beta1Vincent Laporte2018-03-21
* coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7John Wiegley2017-11-12
* coqPackages.dpdgraph: remove support for coq 8.7Maxime Dénès2017-10-30
* coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley2017-10-22
* misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson2017-09-21
* coqPackages.dpdgraph: 0.5 -> 0.6{,.1}Vincent Laporte2017-01-12
* coq-dpdgraph: init at 0.5Vincent Laporte2016-05-03
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-31 19:54:57 +0000