summary refs log tree commit diff
path: root/pkgs/applications/science/logic/open-wbo/default.nix
Commit message (Expand)AuthorAge
* open-wbo: init at 2.0Gabriel Ebner2017-08-20