Paolo Bonzini dce5874fc7 docker: adjust Xen repository for CentOS 7
The Xen repository is failing to install, pick the right name for the release package.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
2019-02-05 16:50:18 +01:00
..
2018-07-24 11:45:25 +01:00
run
2018-04-09 15:13:02 +08:00
2018-07-24 11:45:25 +01:00
2016-06-01 17:27:35 +08:00