There are currently no open bugs.

"agda-stdlib" versions published in Ubuntu

Eoan (0.17-1): universe/libs
Disco (0.17-1): universe/libs
Cosmic (0.14-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