Aistis Raulinaitis a5a740a17a z3 opt

2015-05-08 23:45:07 -07:00

..

applications

z3 opt

2015-05-08 23:45:07 -07:00

build-support

kernel: 4.0.1 -> 4.0.2

2015-05-07 20:32:24 -07:00

data

geolite-legacy -> 2015-05-07

2015-05-07 10:10:51 +02:00

desktops

meta.description fixups

2015-04-30 18:17:42 +02:00

development

coqPackages.QuickChick: New expression

2015-05-08 11:35:23 -05:00

games

uqm: Bring back package and fix 3do extractor.

2015-05-07 08:03:06 +02:00

misc

Merge pull request #7725 from willtim/master

2015-05-06 11:29:35 +02:00

os-specific

Add wpa_supplicant p2p patch.

2015-05-08 11:02:01 -04:00

servers

mariadb: 10.0.17 -> 10.0.18

2015-05-08 05:40:35 -07:00

shells

pythonPackages.ipython: 2.3.1 -> 3.1.0

2015-05-02 22:05:07 +02:00

stdenv

busybox: 1.22.1 -> 1.23.2

2015-05-06 00:15:16 -07:00

test

…

tools

tmux: 1.9a -> 2.0

2015-05-08 05:50:21 -07:00

top-level

z3 opt

2015-05-08 23:45:07 -07:00