about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/elina
AgeCommit message (Expand)AuthorFilesLines
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