#!/usr/bin/make -f
# Uncomment this to turn on verbose mode
# export DH_VERBOSE = 1
%:
dh $@ --with cli
override_dh_auto_build:
cp Source/Dafny/DafnyPipeline.csproj Source/Dafny/DafnyPipeline.csproj.save
sed -i 's///' Source/Dafny/DafnyPipeline.csproj
sed -i 's///' Source/Dafny/DafnyPipeline.csproj
sed -i 's/