summary refs log tree commit diff
path: root/pkgs/applications/science/logic/redprl
Commit message (Expand)AuthorAge
* redprl: unstable-2017-03-28 -> unstable-2019-11-04Thomas Watson2021-11-12
* redprl: switch to fetchFromGitHub, use postPatchSandro Jäckel2021-11-09
* pkgs/applications: rename name to pname&version part 2Felix Buehler2021-11-07
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* redprl: 2016-09-22 -> 2017-03-28James ‘Twey’ Kay2017-03-28
* redprl: remove explicit builderBrian McKenna2016-09-29
* redprl: patch install script shebangsAnthony Cowley2016-09-27
* redprl: init at 2016-09-22Anthony Cowley2016-09-23