about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/redprl
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2021-11-12redprl: unstable-2017-03-28 -> unstable-2019-11-04Thomas Watson1-3/+3
2021-11-09redprl: switch to fetchFromGitHub, use postPatchSandro Jäckel1-5/+12
2021-11-07pkgs/applications: rename name to pname&version part 2Felix Buehler1-5/+7
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-4/+4
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
2017-03-28redprl: 2016-09-22 -> 2017-03-28James ‘Twey’ Kay1-3/+3
2016-09-29redprl: remove explicit builderBrian McKenna1-5/+4
2016-09-27redprl: patch install script shebangsAnthony Cowley1-0/+3
2016-09-23redprl: init at 2016-09-22Anthony Cowley1-0/+26