applications
|
coq_8_7: init at 8.7+beta1
|
2017-09-06 21:16:41 +02:00 |
build-support
|
Merge commit '2858c41' into HEAD
|
2017-08-30 21:07:07 +02:00 |
data
|
proggyfonts: fix output hash
|
2017-09-04 08:43:17 -07:00 |
desktops
|
maxx: license fixups
|
2017-09-04 22:57:03 +02:00 |
development
|
ucl: only pass -stc=c90 when using gcc
|
2017-09-06 21:45:38 +02:00 |
games
|
factorio: 0.15.33 -> 0.15.34
|
2017-09-05 15:04:27 -07:00 |
misc
|
arc-theme: Fix build with gnome 3.24
|
2017-09-06 14:55:30 +08:00 |
os-specific
|
nvidia-x11: 375.66 -> 384.69
|
2017-09-05 16:12:31 -07:00 |
stdenv
|
expand-response-params: Build more normally
|
2017-08-25 15:10:02 -04:00 |
tools
|
haproxy: haproxy.org is now accessible via https
|
2017-09-09 17:52:37 +08:00 |
top-level
|
coq_8_7: init at 8.7+beta1
|
2017-09-06 21:16:41 +02:00 |