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