%FILENAME%
haskell-minisat-0.1.3-25-x86_64.pkg.tar.zst

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-25

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75476

%ISIZE%
292906

%SHA256SUM%
6a129844ac969fbc4a8c36954699c6fbbb856f8bfafecf90fb432c054d0ddfe8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn8L4oACgkQeGxj8zDXy5Lv4g//Y0zxUYmkZPXP/KbqX7BuFoKCnZgWnil62OchCO5ag+Iv1JqCP8eCdQf7BC1znA6mDSs1ju3uapsIzGJLe6x6uYBuZw+kltG9124aKgG959fG3VF30WzUcmtAsZVTADhd3x2BmXysBXUx1a9OW0PZfbdcbj87fZjrj/HFgTtfyAeaf3UYKTy4tesnRepoGirDCMtaYjkaPyYcDOVHuOgqQhNWkgC4O0wS9eaktX07JXFpxmke1bRpV7rZclKN8gQ55a4IoSmS5xYRPckH+53M7he42dhC050tui+4kvq0RkLYIQ0VMsWEy3PJFu+IWoLRNgvX8fffnFYB/Vd+s2FQbZ82zSbnCDX0iQHpXE8GwmzoG56MontK95lEPaC6ifL90Q12791bd5Q1IPeZYb1hBqPIpGMBvKr+pp1RWI1PaPsEtrpiTnKIZMfiAWaHTxXKcb3DHervkDwjhb0LyqQ6FWRq1wXL44HGlXxitNc89VdPstTa32ZM0E/y/4IKVZHuU9HD8+6N8wso1+f4H3fyMLkixCKnUO8oLfMKycNAHriId0KLxK4lbHaGwjsJk8GKH6v6+iFzNKshgvGoaz5QmFX8/22oDhR++DI0V65/+iuTOZCCFU3Ywum/Xu1aWFy98Gje6WLDmpdQ+9Qv6rGRsUCdqH3dQbTc5N7FJkYImio=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778134910

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

