From 006d96a6d9cbb40d5b473b36c91b30b5cd354c28 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Uwe=20K=C3=B6cher?= <koecher@hsu-hamburg.de>
Date: Mon, 2 Nov 2015 21:52:05 +0100
Subject: [PATCH] opencascade: corrected NAME from former commit

---
 deal.II-toolchain/packages/opencascade.package | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deal.II-toolchain/packages/opencascade.package b/deal.II-toolchain/packages/opencascade.package
index 45f8c25..3a56499 100644
--- 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
-- 
2.39.5