Jan Tojnar
e7795a6dd7
appstream-glib: clean up
2017-11-05 20:44:16 +01:00
Jan Tojnar
cdd40ba79e
colord: 1.2.12 → 1.4.1
2017-11-05 20:44:15 +01:00
Jan Tojnar
360f9b7706
zeitgeist: 0.9.15 → 1.0
2017-11-05 20:44:14 +01:00
Jan Tojnar
01d7bb6dc4
json_glib: 1.2.0 → 1.4.2
2017-11-05 20:44:14 +01:00
Jan Tojnar
db16b93039
ostree: 2017.9 → 2017.12
2017-11-05 20:44:13 +01:00
Jan Tojnar
c2bc772203
gobjectIntrospection: 1.52.1 → 1.54.1
2017-11-05 20:44:12 +01:00
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