summary refs log tree commit diff
path: root/pkgs/applications/science/logic/tlaplus/tlaps.nix
Commit message (Expand)AuthorAge
* tlaps: 1.4.3 -> 1.4.5Florent C2022-02-16
* tlaps: deprecate phasesFelix Buehler2021-08-16
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* tlaplus: remove myself from maintainers listBadi Abdul-Wahid2020-09-09
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* tlaps: init at 1.4.3Badi Abdul-Wahid2018-04-16