There is no "libpicosat" package for this arch yet.

See archs where libpicosat is available.