There are currently no open bugs.

"agda-stdlib" versions published in Ubuntu

Impish (1.3-2): universe/libs
Hirsute (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