12 commits

Author	SHA1	Message	Date
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