There are currently no open bugs.

"agda-stdlib" versions published in Ubuntu

Noble (1.7.3-1): universe/libs
Mantic (1.7.1-1): universe/libs
Jammy (1.3-2): universe/libs
Focal (1.1-1): universe/libs
Bionic (0.14-1): universe/libs
Xenial (0.11-1): universe/libs
Trusty (0.7-2): universe/libs