summary refs log tree commit diff
path: root/pkgs/applications/science/logic/beluga
Commit message (Expand)AuthorAge
* beluga: init at 20180403Ben Darwin2018-04-04