summary refs log tree commit diff
path: root/pkgs/applications/science/logic/aspino
Commit message (Expand)AuthorAge
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* aspino: fix buildMaximilian Bosch2018-03-17
* aspino: patch to use c++ instead of g++Matthew Bauer2016-08-10
* aspino: init at 2016-01-31Gabriel Ebner2016-06-21