Arch Linux

Home
Packages
Forums
Wiki
Bugs
Security
AUR
Download

agda-stdlib 1.7.1-4 Soname List

Back to Package

Package has no sonames.

Copyright © 2002-2023 Judd Vinet, Aaron Griffin and Levente Polyák.

The Arch Linux name and logo are recognized trademarks. Some rights reserved.

The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.