diff --git a/fetch.sh b/fetch.sh index de36263b3..6dfca3d2a 100755 --- a/fetch.sh +++ b/fetch.sh @@ -39,6 +39,7 @@ do mkdir $i-tmp dpkg-deb -R $i $i-tmp sed -i "s#$BIN_VERSION#$TARGET_VERSION#g" $i-tmp/DEBIAN/control + sed -i -E '/^Depends:/ s/\(\>= /(/g; s/\(\=[^ ]*/(>=/g; s/\+b[0-9]+//g' $i-tmp/DEBIAN/control dpkg-deb -b $i-tmp $i-fixed_$PIKA_BIN_ARCH.deb mv -vf ./*-fixed_$PIKA_BIN_ARCH.deb ./output/ rm -rf ./*.deb