summaryrefslogtreecommitdiff
path: root/pkgs/development/ocaml-modules/ocplib-simplex
AgeCommit message (Expand)Author
2025-04-08Revert "treewide: replace `rev` with `tag`"Winter
2025-04-07treewide: replace `rev` with `tag`Pol Dellaiera
2025-04-01treewide: Format all Nix filesSilvan Mosberger
2024-12-16dune_3: 3.16.1 -> 3.17.0Sora Morimoto
2024-12-13ocamlPackages.ocplib-simplex: 0.5 → 0.5.1Vincent Laporte
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2023-09-29alt-ergo: 2.4.3 → 2.5.1Vincent Laporte
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid
2021-01-12ocamlPackages: stdenv.lib → libsternenseemann
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2019-12-30treewide: installFlags is a listRobin Gloster
2018-10-13alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4Moritz Kiefer
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson
2016-11-23ocamlPackages.ocplib-simplex: init at 0.3Vincent Laporte