Michael Gregson
9269d5823d
tlaplus18: init at 1.8.0
...
This is a pre-release of version 1.8 of TLA+. It adds, among other
things, a TLA+ REPL.
Release Notes: https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0
2023-06-30 16:09:41 -07:00
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
Ulrik Strid
376e9ceead
treewide: add strictDeps = true to most packages depending on ocaml
2023-02-03 08:59:34 +01:00
Robert Scott
466c2e342a
treewide/applications: add sourceType binaryNativeCode for many packages
2022-06-23 18:38:19 +01: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
Naïm Favier
3c77d361b5
makeShellWrapper: add explicitly named attribute
...
So that things that use the makeShellWrapper/wrapProgramShell
functions can depend on makeShellWrapper explicitly, which should ease
migration in the future.
2022-05-12 11:01:23 +02:00
Naïm Favier
62245943aa
makeWrapper,makeBinaryWrapper: introduce explicitly named functions
...
Because both versions might end up in a derivation's build inputs, it
might be useful to be able to explicitly select which function to use.
2022-05-10 22:07:56 +02:00
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 .
2022-05-10 15:13:58 +02:00
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`).
2022-03-19 09:46:31 +01:00
Bobby Rong
f35d1b8568
Merge pull request #160332 from florentc/tlaps
...
tlaps: 1.4.3 -> 1.4.5
2022-02-28 16:33:42 +08:00
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
2022-02-25 13:40:38 -08:00
Florent C
762faa21a2
tlaps: 1.4.3 -> 1.4.5
...
This updates tlaps to the most recent stable version and fixes the
template for the url from which the sources are fetched. Previously, the
tarball was fetched from the "current" remote directory from which old
versions are eventually removed. The package was therefore broken.
It also adds myself (florentc) as a maintainer.
2022-02-16 15:19:51 +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
Felix Buehler
8a8a949ffd
tlaplusToolbox: deprecate phases
2021-08-16 21:54:44 +02:00
Felix Buehler
8ad1a7859a
tlaps: deprecate phases
2021-08-16 21:54:22 +02:00
Sarunas Valaskevicius
5b69b1f3fe
tlaToolbox: fix crash on file open dialog
2021-07-02 23:04:39 +01:00
mucaho
ddf1821112
tla-toolbox: 1.7.0 -> 1.7.1
...
* updates package version
* fixes #114741
* fixes TLC model check call
2021-03-14 12:27:35 -04: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
Sandro
4dc26ca31d
Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox
...
tlaplusToolbox: 1.6.0 -> 1.7.0
2020-11-29 04:01:21 +01:00
R. RyanTM
887f1978f6
tlaplusToolbox: 1.6.0 -> 1.7.0
2020-07-07 21:21:49 +00:00
zowoq
c7e61112df
treewide: remove deprecated value Application from makeDesktopItem
2020-06-25 12:18:37 +10:00
Badi Abdul-Wahid
f3ce1df79a
tlaplus: remove myself from maintainers list
2020-09-09 10:40:46 -05: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
Frederik Rietdijk
f65aa21bb2
Merge master into staging-next
2019-08-18 12:53:44 +02:00
volth
c814d72b51
treewide: name -> pname
2019-08-17 10:54:38 +00: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
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
2019-08-04 09:27:13 -05:00
Vladimír Čunát
8fc6472ace
gnome-documents, tlaplus: fix glib references
2018-08-30 19:47:41 +02:00
Frederik Rietdijk
f3088832df
Merge pull request #43899 from r-ryantm/auto-update/tla-toolbox
...
tlaplusToolbox: 1.5.6 -> 1.5.7
2018-07-22 08:44:58 +02:00
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 .
2018-07-21 08:39:53 -07:00
volth
52f53c69ce
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
Badi Abdul-Wahid
c4ef846c92
tlaplusToolbox: init at 1.5.6
2018-04-16 22:18:47 -04:00
Badi Abdul-Wahid
d14a476054
tlaps: init at 1.4.3
2018-04-16 21:18:42 -04: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
