Austin Seipp e84cec2762 nixpkgs: add 'avy' -- property directed AIGER model checking ... Signed-off-by: Austin Seipp <aseipp@pobox.com>		2017-10-16 12:01:17 -05:00
..
altcoins	Merge branch 'staging'	2017-10-15 13:59:18 +02:00
audio	Revert "amarok-kf5: init at 2.8.91-20170228"	2017-10-14 14:42:49 +08:00
backup	deja-dup: init at 36.1	2017-10-05 13:42:09 +02:00
display-managers	sddm: theme background images use a relative path which breaks sddm-kcm	2017-10-16 14:25:23 +08:00
editors	rstudio: 1.1.351 -> 1.1.383	2017-10-16 02:38:26 +02:00
gis	Merge pull request #30471 from thall/qgis_2_18_13	2017-10-16 18:29:09 +02:00
graphics	Merge pull request #30273 from edef1c/solvespace-escaped-newline	2017-10-11 12:22:02 +01:00
inferno
kde	Add some dev outputs	2017-09-25 16:05:10 +02:00
misc	Merge pull request #30388 from Infinisil/vis-fix	2017-10-16 08:46:59 +01:00
networking	scudcloud: add jsmin dependency, fixes build	2017-10-15 16:16:36 +02:00
office	Revert "libreoffice-still: fix build (re: nss update)"	2017-10-09 20:50:27 +02:00
science	nixpkgs: add 'avy' -- property directed AIGER model checking	2017-10-16 12:01:17 -05:00
search
taxes	Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper"	2017-09-07 12:51:21 +02:00
version-management	gitlab: link tmp/ directory to writable path	2017-10-16 14:58:02 +02:00
video	Merge branch 'staging'	2017-10-15 13:59:18 +02:00
virtualization	Merge pull request #30126 from NeQuissimus/rkt_1_29_0	2017-10-07 15:45:39 -04:00
window-managers	yabar-unstable: 2017-09-09 -> 2017-10-12	2017-10-12 09:08:08 +02:00