summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/elina
Commit message (Expand)AuthorAge
* treewide: remove redundant quotesvolth2019-09-08
* ocamlPackages.elina: init at 1.1Vincent Laporte2018-12-16