Package Search
1 exact match found.
Arch | Repo | Name | Version | Description | Last Updated | Flag Date |
---|---|---|---|---|---|---|
x86_64 | Extra | agda | 2.6.4-24 | A dependently typed functional programming language and proof assistant | 2024-03-30 | 2023-12-18 |
3 matching packages found.
Can't find what you are looking for? Try searching again using different criteria, or try searching the AUR to see if the package can be found there.
You are browsing the Arch Linux package database. From here you can find detailed information about packages located in the official supported repositories.