applications
|
Merge pull request #37591 from vbgl/coq-88beta1
|
2018-03-23 22:09:06 -07:00 |
build-support
|
Fix typo
|
2018-03-22 13:57:41 +01:00 |
data
|
osinfo-db: 20170813 -> 20180311 (#37071)
|
2018-03-23 14:51:12 -05:00 |
desktops
|
networkmanager-pptp: remove package
|
2018-03-23 22:24:50 +01:00 |
development
|
Merge pull request #37591 from vbgl/coq-88beta1
|
2018-03-23 22:09:06 -07:00 |
games
|
trackballs: 1.2.4 -> 1.3.0
|
2018-03-23 14:54:47 -05:00 |
misc
|
riscv-pk: Set correct platforms
|
2018-03-23 20:05:23 +02:00 |
os-specific
|
linux_riscv: 4.16-rc2 -> 4.16-rc6.
|
2018-03-24 01:17:36 -04:00 |
servers
|
mod_wsgi: 4.5.24 -> 4.6.2
|
2018-03-23 21:02:20 -05:00 |
shells
|
bash-completion: 2.7 -> 2.8
|
2018-03-19 22:12:04 -07:00 |
tools
|
aws-auth: remove
|
2018-03-23 21:12:25 -05:00 |
top-level
|
Merge pull request #37591 from vbgl/coq-88beta1
|
2018-03-23 22:09:06 -07:00 |