summary refs log tree commit diff
path: root/pkgs/applications/science/logic/spass
Commit message (Expand)AuthorAge
* spass: 3.7 -> 3.9Gabriel Ebner2016-06-21
* spass: reimplement using mkDerivationJoachim Fasting2015-11-24
* Fix license attribute of many bsd-like licensed packagesPascal Wittmann2014-12-21
* Adding SPASSMichael Raskin2010-12-04