There are currently no open bugs.

"agda-stdlib" versions published in Ubuntu

Groovy (1.1-1): universe/libs
Focal (1.1-1): universe/libs
Eoan (1.1-1): universe/libs
Bionic (0.14-1): universe/libs
Xenial (0.11-1): universe/libs
Trusty (0.7-2): universe/libs
Precise (0.6-2): universe/libs