applications
|
cubicle: 1.0.2 -> 1.1.1
|
2017-10-11 07:38:27 +00:00 |
build-support
|
Merge branch 'master' into staging
|
2017-10-07 10:17:42 +02:00 |
desktops
|
enlightenment: 0.21.9 -> 0.21.10
|
2017-10-10 06:51:46 +02:00 |
development
|
coqPackages.HoTT: init at 20170921
|
2017-10-11 02:51:16 +02:00 |
games
|
pingus, quirc: fix pkgconfig passing
|
2017-10-10 17:23:10 +02:00 |
os-specific
|
linux: 4.14-rc3 -> 4.14-rc4
|
2017-10-10 13:07:42 -04:00 |
servers
|
xorg-server: security 1.19.3 -> 1.19.4
|
2017-10-08 17:32:13 +02:00 |
shells
|
antigen: init at 2.2.1 (#27266)
|
2017-10-10 01:39:04 +01:00 |
tools
|
hevea: make explicit the dependency to ocamlbuild
|
2017-10-11 07:58:22 +00:00 |
top-level
|
coq: 8.7+beta1 -> 8.7+beta2
|
2017-10-11 03:02:01 +02:00 |