summary refs log tree commit diff
path: root/pkgs/applications/science/logic/gappa
Commit message (Expand)AuthorAge
* pkgs/applications: rename name to pname&version part 2Felix Buehler2021-11-07
* gappa: 1.3.5 → 1.4.0Vincent Laporte2021-07-15
* gappa: 1.3.5 -> 1.4.0R. RyanTM2021-06-16
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* gappa: 1.2 -> 1.3.5Vincent Laporte2019-06-19
* Adds gappa 1.2.0Vincent Laporte2015-05-25