119532 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Jan Tojnar	185484d6ac	gnome3.vte: 0.48.3 → 0.50.1	2017-11-05 20:44:12 +01:00
Jan Tojnar	3f12993f3a	xf86_input_wacom: 0.34 → 0.35	2017-11-05 20:44:11 +01:00
Jan Tojnar	a5a8bb0a62	libwacom: 0.22 → 0.26	2017-11-05 20:44:11 +01:00
Jan Tojnar	c01fd4a3e3	libinput: 1.7.3 → 1.9.1	2017-11-05 20:44:10 +01:00
Jan Tojnar	fd115ece29	libgudev: 231 → 232	2017-11-05 20:44:09 +01:00
Jan Tojnar	05562d9237	networkmanagerapplet: cleanup	2017-11-05 20:44:09 +01:00
Jan Tojnar	55abc42a1e	glib-networking: 2.50.0 → 2.54.0	2017-11-05 20:44:08 +01:00
Jan Tojnar	a51f6474d2	libical: 1.0.1 → 2.0.0	2017-11-05 20:44:07 +01:00
Jan Tojnar	f5d5c13ad7	gnome3.libgxps: 0.2.2 → 0.3.0	2017-11-05 17:02:31 +01:00
Jan Tojnar	716af52fe1	gstreamer: 1.10.4 → 1.12.2	2017-11-05 17:02:30 +01:00
Jan Tojnar	faac8b301c	libzapojit: add meta.description	2017-11-05 17:02:30 +01:00
Jan Tojnar	4d5a009b11	spidermonkey_52: init at 52.2.1gnome1	2017-11-05 17:02:29 +01:00
Jan Tojnar	1d55dd3d13	fwup: 0.14.3 → 0.16.1	2017-11-05 17:02:29 +01:00
Jan Tojnar	a443311dfc	libxkbcommon: 0.7.1 → 0.7.2	2017-11-05 17:02:29 +01:00
Jan Tojnar	846608238d	spice_gtk: 0.33 → 0.34	2017-11-05 17:02:28 +01:00
Jan Tojnar	464a113201	spice_protocol: 0.12.12 → 0.12.13	2017-11-05 17:02:28 +01:00
Jan Tojnar	d3027030ce	libgtop: 2.34.1 → 2.38.0	2017-11-05 17:02:28 +01:00
Jan Tojnar	14e518d020	librsvg: 2.40.17 → 2.40.19	2017-11-05 17:02:27 +01:00
Jan Tojnar	804af47f8a	libchamplain: 0.12.14 → 0.12.16	2017-11-05 17:02:27 +01:00
Jan Tojnar	00269f660c	gvfs: 1.30.1 → 1.34.1 ... Bash completions were removed upstream because gvfs is deprecated in favour of glib’s gio . https://bugzilla.gnome.org/show_bug.cgi?id=769378	2017-11-05 17:02:26 +01:00
Jan Tojnar	578beeb525	gusb: 0.2.9 → 0.2.11	2017-11-05 17:02:26 +01:00
Jan Tojnar	1ac2dec0f6	glibmm: 2.50.0 → 2.54.1	2017-11-05 17:02:25 +01:00
Jan Tojnar	7d0357449f	gnome3.libpeas: 1.18.0 → 1.22.0	2017-11-05 17:02:25 +01:00
Jan Tojnar	f53657d68b	clutter_gtk: 1.8.2 → 1.8.4	2017-11-05 17:02:24 +01:00
Jan Tojnar	b5c6349661	gnome3.libgdata: 0.17.6 → 0.17.9	2017-11-05 17:02:24 +01:00
Jan Tojnar	e03c009a5e	gnome3.grilo_plugins: 0.3.3 → 0.3.5	2017-11-05 17:02:23 +01:00
Jan Tojnar	573c039f9b	gnome3.grilo: 0.3.3 → 0.3.4	2017-11-05 17:02:23 +01:00
Jan Tojnar	1e8e2a4f0d	gnome3.totem-pl-parser: move src to a separate file	2017-11-05 17:02:23 +01:00
Jan Tojnar	9ee18a51c6	gnome3.folks: 0.11.3 → 0.11.4	2017-11-05 17:02:22 +01:00
Théo Zimmermann	1ddadc6b1c	coqPackages.math-classes: 1.0.6 -> 1.0.7 ... This version introduces compatibility with Coq 8.7.	2017-11-05 16:59:23 +01:00
Théo Zimmermann	f4914d4eb4	bignums: init at various versions ... Bignums used to be part of the standard library of Coq. We provide a version for Coq 8.6, and one for Coq 8.7.	2017-11-05 16:59:23 +01:00
Orivej Desh	585e9ccace	Merge pull request #30688 from bobvanderlinden/pr-vrb-init ... vrb: init at 0.5.1	2017-11-05 15:58:33 +00:00
Franz Pletz	711303952e	wireguard module: add device name environment var ... This makes the interface name available as an environment variable for the pre/post hooks.	2017-11-05 16:42:25 +01:00
Franz Pletz	4f8c5331c8	imagemagick7: 7.0.7-8 -> 7.0.7-9	2017-11-05 16:42:24 +01:00
Franz Pletz	611829ba42	imagemagick: 6.9.9-20 -> 6.9.9-21	2017-11-05 16:42:24 +01:00
Tuomas Tynkkynen	0d9f2f0bb4	platforms.nix: Clean up more 'uboot' legacy ... For a while now, the only thing the 'uboot' attribute does is to tell whether to add ubootTools to kernel/initrd builds. That can be determined with platform.kernelTarget == "uImage" just as well.	2017-11-05 17:06:59 +02:00
Piotr Bogdan	14f232d812	ultrastardx: fix build	2017-11-05 15:59:47 +01:00
Profpatsch	213bd2847b	lib/types: fix up documentation formatting a bit	2017-11-05 15:56:32 +01:00
Profpatsch	462c048c77	lib/types: add ints.positive. ... For values that are positive, but cannot be 0.	2017-11-05 15:56:32 +01:00
Profpatsch	1158910676	lib/types: match lowercase descriptions of other types	2017-11-05 15:56:32 +01:00
Profpatsch	c85f085062	lib/types: update docs to match the new type names	2017-11-05 15:56:32 +01:00
Profpatsch	f8e6cd3465	lib/types: add tests for ints.between and ints.unsigned ... The int types are trivial invocations of `ints.between`, so they are not tested explicitely.	2017-11-05 15:56:32 +01:00
Profpatsch	77648da233	lib/types: signed -> s, unsigned -> u, remove signed alias ... Mirrors the way it’s done in modern low-level languages like Rust (by input of @nbp). Removes the signed alias for int.	2017-11-05 15:56:32 +01:00
Profpatsch	7fcd3892a9	lib/types: remove port type again ... Will be introduced as a taggedUnion, once that type is in nixpkgs.	2017-11-05 15:56:32 +01:00
Profpatsch	3e3bfc66f7	lib/types: nixos manual documentation for signed/unsinged int ... Synchronize the manual for the new types.	2017-11-05 15:56:32 +01:00
Profpatsch	c776489cac	lib/types: add port type	2017-11-05 15:56:32 +01:00
Profpatsch	281d071b6a	lib/types: add various signed/unsigned int types ... It is sometimes necessary to restrict the domain of integers for configurations, as well as restricting them to unsigned/positive values.	2017-11-05 15:56:32 +01:00
Profpatsch	af424a607c	lib/modules: Change type error to be gramatically nicer ... Before: <x> is not a integer between 0 and 100 (inclusively). (notice that “a” is wrong, it should be “an”) Now: <x> is not of type `integer between 0 and 100 (inclusively)'. This sounds a bit more formal, but circumvents the grammatical problems. Multi-word type descriptions are also easier to see.	2017-11-05 15:56:32 +01:00
Profpatsch	c53d874277	lib/types: add intBetween ... An int type that checks the value range.	2017-11-05 15:56:32 +01:00
Michael Raskin	cdbe4671be	SBCL: bump to unstable to include upstream fixes for bugs breaking iolib	2017-11-05 15:26:17 +01:00