about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/spass
AgeCommit message (Expand)AuthorFilesLines
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2016-06-21spass: 3.7 -> 3.9Gabriel Ebner1-5/+20
2015-11-24spass: reimplement using mkDerivationJoachim Fasting1-40/+18
2014-12-21Fix license attribute of many bsd-like licensed packagesPascal Wittmann1-1/+1
2010-12-04Adding SPASSMichael Raskin1-0/+49