agda-stdlib 1.7.3-1 Soname List

Back to Package

Package has no sonames.