about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/gappa
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2021-11-07pkgs/applications: rename name to pname&version part 2Felix Buehler1-3/+4
2021-07-15gappa: 1.3.5 → 1.4.0Vincent Laporte1-2/+2
2021-06-16gappa: 1.3.5 -> 1.4.0R. RyanTM1-3/+3
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-4/+4
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-2/+2
2019-06-19gappa: 1.2 -> 1.3.5Vincent Laporte1-3/+3
2015-05-25Adds gappa 1.2.0Vincent Laporte1-0/+23