2 matching packages found. Page 1 of 1.

< PrevNext >
ArchRepositoryNameVersionDescriptionLast Updated
x86_64communityhaskell-simple-smt0.9.6-2A simple way to interact with an SMT solver process2021-06-07
x86_64community-testinghaskell-simple-smt0.9.7-1A simple way to interact with an SMT solver process2021-07-01

2 matching packages found. Page 1 of 1.

< PrevNext >

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.

You can submit translations of packages' description on Transifex. Feel free to volunteer your time!