summary refs log tree commit diff
path: root/pkgs/development/tools/ocaml/camlp5
Commit message (Expand)AuthorAge
* coqPackages_8_14.coq-elpi: fix by using old camlp5Vincent Laporte2023-08-28
* ocamlPackages.camlp5: 7.14 → 8.00.05Vincent Laporte2023-08-11
* ocamlPackages treewide: strictDeps all packagesUlrik Strid2023-02-03
* ocamlPackages.camlp5: disable for OCaml ≥ 4.13Vincent Laporte2022-03-04
* camlp5: replace fetchzip with fetchFromGitHubFelix Buehler2021-06-30
* pkgs/development/tools: stdenv.lib -> libBen Siraphob2021-01-23
* ocamlPackages.camlp5: 7.13 → 7.14Vincent Laporte2021-01-09
* ocamlPackages.camlp5: 7.12 → 7.13Vincent Laporte2020-11-24
* ocamlPackages.camlp5: 7.11 → 7.12Vincent Laporte2020-07-01
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* ocamlPackages.camlp5: 7.10 → 7.11Vincent Laporte2020-03-19
* treewide: replace make/build/configure/patchFlags with nix listsMerijn Broeren2019-12-30
* Rename z77z into maggesiMarco Maggesi2019-10-07
* ocamlPackages.camlp5: 7.08 → 7.10Vincent Laporte2019-09-21
* ocamlPackages.camlp5: 7.07 -> 7.08Vincent Laporte2019-08-12
* ocamlPackages.camlp5: remove legacy version (7.06)Vincent Laporte2019-04-06
* ocamlPackages.camlp5: 7.06 -> 7.07Vincent Laporte2018-11-21
* camlp5: remove old version 5.15Théo Zimmermann2018-10-08
* ocamlPackages.camlp5: 7.05 -> 7.06 (#45326)Vincent Laporte2018-08-23
* ocamlPackages.camlp5: 7.03 -> 7.05Vincent Laporte2018-02-28
* ocamlPackages.camlp5: 7.02 -> 7.03Vincent Laporte2017-10-30
* ocamlPackages.camlp5: 7.01 -> 7.02Vincent Laporte2017-10-17
* camlPackages.camlp5: 6.17 -> 7.01Vincent Laporte2017-07-08
* camlp5: fix install with ocaml 4.04Théo Zimmermann2017-05-03
* camlp5: 6.16 -> 6.17Vincent Laporte2016-11-29
* treewide: use ocaml.version (#19192)Kirill Boltaev2016-10-05
* camlp5: 6.14 -> 6.16Vincent Laporte2016-05-01
* Ensure that we can evaluate the platform attribute of ocaml packages.Nicolas B. Pierron2016-03-13
* camlp5: 6.12 -> 6.14Vincent Laporte2015-09-23
* Adds some “branch” meta-dataVincent Laporte2014-11-06
* Updates camlp5 6.11 -> 6.12Vincent Laporte2014-10-01
* Updates ocaml-sexplib and ocaml-typeconvVincent Laporte2014-09-19
* Update camlp5 to version 6.11Marco Maggesi2014-01-18
* Update camlp5 to 6.06.Marco Maggesi2012-10-09
* Upgrade camlp5 to version 6.02.3-1 (contributed by Russell O'Connor).Marco Maggesi2011-11-26
* * Update camlp5Marco Maggesi2010-12-20
* Updated Coq to version 8.2pl1Marco Maggesi2009-11-02
* Added camlp5 the preprocessor-pretty-printer for OCamlMarco Maggesi2009-11-02