nixpkgs/pkgs/applications/science/logic/yices
Joachim Fasting bad07dfac5
tree-wide: replace uses of splitString "." with lib.versions
Quoting from the splitString docstring:

   NOTE: this function is not performant and should never be used.

This replaces trivial uses of splitString for splitting version
strings with the (potentially builtin) splitVersion.
2019-09-26 17:42:49 +02:00
..
default.nix tree-wide: replace uses of splitString "." with lib.versions 2019-09-26 17:42:49 +02:00