| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | tlaplus: 1.7.1 -> 1.7.2 | R. Ryantm | 2022-02-13 |
| * | tlaplus: 1.7.0 -> 1.7.1 | Florent C | 2021-11-25 |
| * | treewide: makeWrapper buildInputs to nativeBuildInputs | Ben Siraphob | 2021-02-19 |
| * | treewide: stdenv.lib -> lib | Ben Siraphob | 2021-01-16 |
| * | tlaplus: 1.5.6 -> 1.7.0 | Yurii Rashkovskii | 2020-05-06 |
| * | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
| * | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
| * | tlaplus: init at 1.5.6 | Austin Seipp | 2018-03-02 |