diff options
| author | Badi Abdul-Wahid <abdulwahidc@gmail.com> | 2019-08-04 09:27:13 -0500 |
|---|---|---|
| committer | Badi Abdul-Wahid <abdulwahidc@gmail.com> | 2019-08-04 09:27:13 -0500 |
| commit | 40b53a5d0daa4ffbbe5e05a13fc52755d9e5469a (patch) | |
| tree | a50f3d6af32ad7503bc57d537977926d72235d87 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 33a58b36e259fd627e5a94b4cb171cb01ad95763 (diff) | |
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
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions