summary refs log tree commit diff
path: root/pkgs/development/tools/analysis/verasco/default.nix
Commit message (Expand)AuthorAge
* verasco: remove unmaintained projectJörg Thalheim2018-10-30
* treewide: move to ocaml-ng systemKirill Boltaev2016-09-26
* verasco: init at 1.3Vincent Laporte2016-03-14