Package Search
1 exact match found.
| Arch | Repo | Name | Version | Description | Last Updated | Flag Date |
|---|---|---|---|---|---|---|
| x86_64 | Extra | abc | 0.0.0.20221019-1 | System for Sequential Logic Synthesis and Formal Verification | 2023-05-19 |
2 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.