Changes in Portfile http://src.iws.cs.ovgu.de/source/rss/hets/utils/macports/sources/math/hets-lib/Portfile en Copyright 2005 Java hets-lib initial port file; changing portfiles back to lowercase git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14937 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/utils/macports/sources/math/hets-lib/Portfile - a6d24f8bc0bb258c7ad745f1da72ccda14bb8f6a Sebastian Raible <freak@informatik.uni-bremen.de>