about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/elina
AgeCommit message (Expand)AuthorFilesLines
2023-03-02ocamlPackages.elina: more precise meta.platformsVincent Laporte1-1/+1
2023-03-01ocamlPackages.elina: fixup build by using older makeVincent Laporte1-2/+3
2022-03-25ocamlPackages treewide: Add missing inputsUlrik Strid1-2/+2
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid1-1/+3
2022-02-10treewide: rename name to pname&version (#158454)Felix Bühler1-1/+1
2021-01-12ocamlPackages: stdenv.lib → libsternenseemann1-4/+4
2019-09-08treewide: remove redundant quotesvolth1-1/+1
2018-12-16ocamlPackages.elina: init at 1.1Vincent Laporte1-0/+33