New Upstream Release - agda-stdlib

Merged new upstream version: 1.6 (was: 1.3).

Resulting package

Built on 2021-05-25T08:19 (took 23m56s)

The resulting binary packages can be installed (if you have the apt repository enabled) by running one of:

apt install -t fresh-releases agda-stdlib-doc
apt install -t fresh-releases agda-stdlib

More details

Full run details