Michael Gregson
886fa6e8af
add myself to the maintainers list
...
This is my second patch to the tlaplus package and I agreed to add
myself as a maintainer on my next contribution.
2023-05-10 01:30:45 -05:00
Michael Gregson
be76fb11c9
tlaplus: remove jdk dependency
...
As of b5d3526
2023-05-10 01:19:15 -05:00
R. Ryantm
3012b98a08
tlaplus: 1.7.2 -> 1.7.3
2023-04-20 15:51:31 +00:00
Robert Scott
3b6bc4b69c
treewide: set sourceProvenance for packages containing downloaded jars
...
these are the easily identifiable cases and will not be comprehensive
2022-06-04 19:47:57 +01:00
R. Ryantm
42d5cbb78e
tlaplus: 1.7.1 -> 1.7.2
2022-02-13 10:33:51 +00:00
Florent C
b5d3526bab
tlaplus: 1.7.0 -> 1.7.1
...
This updates tlaplus to the most recent stable version and directly
fetches the tlatools jar file from the official Github release page
instead of building from the sources. In the previous tlaplus nix
package, there was an issue with the tools when passing some command
line arguments such as `-workers 4` for TLC. A java string method was
not found and the program would not proceed correctly. This solves this
issue.
2021-11-25 10:56:11 +01:00
Ben Siraphob
e03c068af5
treewide: makeWrapper buildInputs to nativeBuildInputs
2021-02-19 20:09:16 +07:00
Ben Siraphob
badf51221d
treewide: stdenv.lib -> lib
2021-01-16 17:58:11 +07:00
Yurii Rashkovskii
c73875ea1e
tlaplus: 1.5.6 -> 1.7.0
2020-05-06 12:26:10 -07:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
volth
46420bbaa3
treewide: name -> pname (easy cases) ( #66585 )
...
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pname
2019-08-15 13:41:18 +01:00
Austin Seipp
7270f2139a
tlaplus: init at 1.5.6
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-02 21:20:54 -06:00
