![]() * Added python-tools * Replaced opencascade with oce (opencascade not in debian repos anymore) * Updated some obsolete package names |
||
---|---|---|
.. | ||
debian | ||
makedebian.sh | ||
makepkg |
![]() * Added python-tools * Replaced opencascade with oce (opencascade not in debian repos anymore) * Updated some obsolete package names |
||
---|---|---|
.. | ||
debian | ||
makedebian.sh | ||
makepkg |