%FILENAME%
haskell-minisat-0.1.3-19-riscv64.pkg.tar.zst

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-19

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
82901

%ISIZE%
332806

%SHA256SUM%
dad4038be9445576b4a71fa7b79f7d87b0e987503187909929b000cf53f7501a

%URL%
https://github.com/jbransen/minisat-bundle

%LICENSE%
BSD-3-Clause

%ARCH%
riscv64

%BUILDDATE%
1776501653

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

