opencascade: corrected NAME from former commit

diff --git a/deal.II-toolchain/packages/opencascade.package b/deal.II-toolchain/packages/opencascade.package
index 45f8c257a0265618435a8f4976315b3b9c4efad3..3a5649915c92efb7ee23dad78452667bfac96fe2 100644 (file)
--- a/deal.II-toolchain/packages/opencascade.package
+++ b/deal.II-toolchain/packages/opencascade.package
@@ -18,7 +18,7 @@ else
     # download release tarball
     
     VERSION=0.17
-    NAME=OCE-${VERSION}
+    NAME=oce-OCE-${VERSION}
     PACKING=.tar.gz
     SOURCE=https://github.com/tjhei/oce/releases/download/OCE-${VERSION}/
     CHECKSUM=f1a89395c4b0d199bea3db62b85f818d