juan131 22dec2b2bf Remove Centos7 from supported distros		2020-01-15 10:55:10 +01:00
..
debian-9	12.1.0-debian-9-r51 release	2020-01-14 19:05:44 +00:00
ol-7	12.1.0-ol-7-r71 release	2020-01-14 22:09:45 +00:00