Bugs for agda-stdlib in Ubuntu Hirsute

There are currently no open bugs.