#! /bin/sh

set -e

if [ "$1" = "remove" ]; then
    dpkg-divert --package python3.13-nopie \
	--remove --rename \
	--divert /usr/bin/python3.13-pie /usr/bin/python3.13
fi



exit 0