diff --git a/anselm.csv b/anselm.csv
index e7cdf76453d406a147c13d5524e20af4a6bcf6fc..5a0183731f13e23ecc6400d245e7e4ca73430d7b 100644
--- a/anselm.csv
+++ b/anselm.csv
@@ -126,8 +126,10 @@ CentOS/6.9,1
 CentOS/6.9-GPU,1
 CentOS/6.9-GPU-shell,1
 CentOS/6.9-shell,1
+CentOS/7.3,1
 CentOS/7.3.1611,1
 CentOS/7.3.1611-shell,1
+CentOS/7.3-shell,1
 certifi/2018.1.18-Py-3.6,1
 CGAL/4.8.1-intel-2017a,1
 chicken/4.8.0.6,1