diff --git a/anselm.csv b/anselm.csv index c92a2c8f8e9de201154c54d9212d9b16db091823..4517926401157f9e13027d26c970c59a7fd73e0a 100644 --- a/anselm.csv +++ b/anselm.csv @@ -192,6 +192,7 @@ cairo/1.14.8,1 cairo/1.16.0-GCCcore-8.2.0,1 CentOS/6.9,1 CentOS/6.9-GPU,1 +CentOS/7,1 CentOS/7.5-VARROC,1 certifi/2018.1.18-Py-3.6,1 CGAL/4.11.1-foss-2018a,1