Package: agda-stdlib
Version: 0.13-1
Severity: minor
agda-stdlib ships precompiled agda sources (aka .agdai files). These
files are specific to a particular version of agda-bin quite similar to
how .pyc files are specific to a particular python version. When
upgrading agda-stdlib without also upgrading agda-bin, agda tries to
recompile the sources from agda-stdlib and fails storing them lacking
permission to /usr/share/agda-stdlib (when performed as an unprivileged
user).
It seems like there should be a stricter relation between agda-stdlib
and agda-bin. Currently, neither depends on the other. In 0.12-2, I
added a Breaks to agda-stdlib, but that hasn't been bumped in the recent
0.13-1 upload (and bumping versions looks error prone to me).
One approach could be to autogenerate the Breaks as follows:
AGDA_VER=version of agda-bin with s/-.*// at the time of building agda-stdlib
Breaks: agda-bin (<< ${AGDA_VER}), agda-bin (>= ${AGDA_VER}.0)
Any other ideas?
Helmut
