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
..
2019-01-17 21:10:57 -05:00
2018-08-16 09:50:54 +01:00
2018-08-31 09:53:10 +02:00
2018-08-23 18:46:25 +02:00
2018-12-20 10:29:08 +01:00
2018-12-20 10:29:08 +01:00