JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
212,245 Commits 2 Branches 0 Tags 13 GiB
4da1a74f25
Commit Graph

6 Commits

Author SHA1 Message Date
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
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
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
Badi Abdul-Wahid
c4ef846c92
tlaplusToolbox: init at 1.5.6 2018-04-16 22:18:47 -04:00