CI: replace libboost-dev by libnormaliz-dev

gap-system · Mar 26, 2022 · a68cdca · a68cdca
1 parent ae59a6c
commit a68cdca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -181,7 +181,7 @@ jobs:
                    if [[ $TEST_SUITES == *testpackages* ]] ; then
                        packages+=(            # For:
                          4ti2                   # 4ti2Interface
-                         libboost-dev           # NormalizInterface
+                         libnormaliz-dev           # NormalizInterface
                          libcdd-dev             # CddInterface
                          libcurl4-openssl-dev   # curlInterface
                          libfplll-dev           # float