8 Commits

Author	SHA1	Message	Date
Vincent Laporte	d23e7b1be4	ocamlPackages.elina: more precise meta.platforms	2023-03-02 09:41:09 +00:00
Vincent Laporte	fe6b447c43	ocamlPackages.elina: fixup build by using older make	2023-03-01 04:13:04 +00:00
Ulrik Strid	661ee6b468	ocamlPackages treewide: Add missing inputs	2022-03-25 13:55:18 +01:00
Ulrik Strid	a13cdfe520	ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs ... To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier	2022-02-24 14:39:27 +01:00
Felix Bühler	464e9792ff	treewide: rename name to pname&version (#158454) ... Co-authored-by: Sandro <sandro.jaeckel@gmail.com>	2022-02-10 01:28:00 +01:00
sternenseemann	4e42cac49d	ocamlPackages: stdenv.lib → lib ... This change was produced by searching for remaining occurrences of stdenv.lib and replacing them manually. Reference #108938.	2021-01-12 16:33:18 +01:00
volth	7b8fb5c06c	treewide: remove redundant quotes	2019-09-08 23:38:31 +00:00
Vincent Laporte	b6ca91fba5	ocamlPackages.elina: init at 1.1 ... ELINA contains optimized implementations of popular numerical abstract domains such as Polyhedra, Octagon and Zones for static analysis. homepage: http://elina.ethz.ch/	2018-12-16 08:54:51 +00:00