No results for search

"agda-stdlib" versions published in Ubuntu

Mantic (1.7.1-1): universe/libs
Lunar (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