about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/jonprl
AgeCommit message (Expand)AuthorFilesLines
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-10-08treewide: mark some broken packages as brokenLinus Heckemann1-0/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-09-02jonprl: update homepageMarkus Kowalewski1-1/+1
2017-09-22darwin: Disable yet another bunch of packages never having built successfullyTuomas Tynkkynen1-1/+1
2016-06-03Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen1-1/+1
2016-04-26jonprl: corrected sha changeEdward Tjörnhammar1-1/+1
2015-09-09nixpkgs/jonprl: minor touchupsAustin Seipp1-3/+3
2015-09-09JonPRL: init at 0.1.0Brian McKenna1-0/+34