about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/aspino
Commit message (Expand)AuthorAge
* aspino: patch to use c++ instead of g++Matthew Bauer2016-08-10
* aspino: init at 2016-01-31Gabriel Ebner2016-06-21
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-21 03:45:02 +0000