summary refs log tree commit diff
path: root/pkgs/applications/science/logic/beluga
Commit message (Expand)AuthorAge
* beluga: 2020-03-11 -> 1.0Mario Rodas2021-04-01
* beluga: 20180403 -> unstable-2020-03-11Ben Darwin2020-04-19
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* beluga: init at 20180403Ben Darwin2018-04-04