summary refs log tree commit diff
path: root/pkgs/applications/science/logic/open-wbo
Commit message (Expand)AuthorAge
* pkgs/applications: rename name to pname&version part 2Felix Buehler2021-11-07
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: remove redundant recvolth2019-08-28
* open-wbo: init at 2.0Gabriel Ebner2017-08-20