about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/open-wbo
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2022-05-30treewide: pkgs/applications: mark broken for aarch64-linuxRick van Schijndel1-0/+1
2021-11-07pkgs/applications: rename name to pname&version part 2Felix Buehler1-1/+2
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-28treewide: remove redundant recvolth1-1/+1
2017-08-20open-wbo: init at 2.0Gabriel Ebner1-0/+27