about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/ocplib-simplex/default.nix
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2023-09-29alt-ergo: 2.4.3 → 2.5.1Vincent Laporte1-16/+7
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid1-2/+3
2021-01-12ocamlPackages: stdenv.lib → libsternenseemann1-3/+3
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-30treewide: installFlags is a listRobin Gloster1-1/+1
2018-10-13alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4Moritz Kiefer1-3/+5
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson1-1/+2
2016-11-23ocamlPackages.ocplib-simplex: init at 0.3Vincent Laporte1-0/+29