4 # override package version
5 echo "version=0.0.5" >> debian/setenv.sh
10 if [ ! -f pthsem_2.0.8.tar.gz ]
12 wget --no-check-certificate http://www.auto.tuwien.ac.at/~mkoegler/pth/pthsem_2.0.8.tar.gz
14 if [ ! -f bcusdk_0.0.5.tar.gz ]
16 wget --no-check-certificate http://www.auto.tuwien.ac.at/~mkoegler/eib/bcusdk_0.0.5.tar.gz