mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
Code Issues Wiki Activity
252903 commits 204 branches 125 tags 10 GiB
Commit graph

9 commits

Author SHA1 Message Date
Badi Abdul-Wahid f3ce1df79a
tlaplus: remove myself from maintainers list 2020-09-09 10:40:46 -05:00
zowoq c7e61112df treewide: remove deprecated value Application from makeDesktopItem 2020-06-25 12:18:37 +10: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
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