summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/elina
Commit message (Expand)AuthorAge
* ocamlPackages.elina: more precise meta.platformsVincent Laporte2023-03-02
* ocamlPackages.elina: fixup build by using older makeVincent Laporte2023-03-01
* ocamlPackages treewide: Add missing inputsUlrik Strid2022-03-25
* ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid2022-02-24
* treewide: rename name to pname&version (#158454)Felix Bühler2022-02-10
* ocamlPackages: stdenv.lib → libsternenseemann2021-01-12
* treewide: remove redundant quotesvolth2019-09-08
* ocamlPackages.elina: init at 1.1Vincent Laporte2018-12-16