Dominik Xaver Hörl
86e7fa945e
tlaplusToolbox: use non-binary wrapper for wrapGAppsHook
...
The use of --add-flags in this derivation does not work with binary
wrappers, which wrapGAppsHook uses since #164163 .
2 years ago
Naïm Favier
9160044f5f
treewide/makeWrapper: replace `--run cd` with `--chdir`
...
Lay the groundwork for switching to binary wrappers by reducing uses
of `--run` (which is not supported by `makeBinaryWrapper`).
2 years ago
K900
cb2cfba6f7
treewide: switch all desktop file generators to new API
...
Notably:
- remove explicit arguments that match the defaults
- convert everything to the right Nix types
2 years ago
Felix Buehler
8a8a949ffd
tlaplusToolbox: deprecate phases
3 years ago
Sarunas Valaskevicius
5b69b1f3fe
tlaToolbox: fix crash on file open dialog
3 years ago
mucaho
ddf1821112
tla-toolbox: 1.7.0 -> 1.7.1
...
* updates package version
* fixes #114741
* fixes TLC model check call
3 years ago
Ben Siraphob
e03c068af5
treewide: makeWrapper buildInputs to nativeBuildInputs
3 years ago
Ben Siraphob
badf51221d
treewide: stdenv.lib -> lib
3 years ago
Badi Abdul-Wahid
f3ce1df79a
tlaplus: remove myself from maintainers list
4 years ago
R. RyanTM
887f1978f6
tlaplusToolbox: 1.6.0 -> 1.7.0
4 years ago
zowoq
c7e61112df
treewide: remove deprecated value `Application` from makeDesktopItem
4 years ago
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
4 years ago
volth
c814d72b51
treewide: name -> pname
5 years ago
Badi Abdul-Wahid
40b53a5d0d
tla+ toolbox: 1.5.7 -> 1.6.0
...
Bumps to new release of TLA+ Toolbox.
Main change:
- toolbox now includes JRE so those external dependencies are no
longer needed.
Testing:
- nix-build -A tlaplusToolbox
- ./result/bin/tla-toolbox
- pdf generation
- validation of a simple pluscal model
5 years ago
Vladimír Čunát
8fc6472ace
gnome-documents, tlaplus: fix glib references
6 years ago
R. RyanTM
9882d5635c
tlaplusToolbox: 1.5.6 -> 1.5.7
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/tla-toolbox/versions .
6 years ago
Badi Abdul-Wahid
c4ef846c92
tlaplusToolbox: init at 1.5.6
6 years ago