summary refs log tree commit diff
path: root/pkgs/applications/science/logic/leo3
Commit message (Expand)AuthorAge
* leo3-bin: deprecate phasesFelix Buehler2021-07-14
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* leo3: fix executableGabriel Ebner2020-09-19
* treewide: use runtimeShell instead of stdenv.shell whenever possibleJörg Thalheim2019-02-26
* leo3: init at 1.2Michael Raskin2019-01-27