about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/gappa
AgeCommit message (Expand)AuthorFilesLines
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