%FILENAME%
haskell-simple-smt-0.9.8-1-x86_64.pkg.tar.zst

%NAME%
haskell-simple-smt

%BASE%
haskell-simple-smt

%VERSION%
0.9.8-1

%DESC%
A simple way to interact with an SMT solver process

%CSIZE%
90612

%ISIZE%
415620

%SHA256SUM%
9ad21f0585a003531975dce6a02396c72eadd4f8243375da5c8119466d160ef6

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfv3K4ACgkQeGxj8zDXy5KVoA//TCug+8Lsj7xlcJgI/bd2J51gRDs08NauN13AFdANflTH1uUhxs3FrvrVa2VztOA4le+ndvZBonwOF8E4CPj3dMZMI21m6gYo5axwxZThBLtnj1ooit5yn6aq40rpnVxFtnvkbhWI6ywU4r9MaGiWuXciNR3zUIz6UpHKdU91vK4Tbig7VoyhVHK6gpkIsq/L5xEdzNJzqgubleYObVylkPdKO7zZjnw+E+pDVZRs+yomPV3n2yr1H4/tYnVPcC0R1VVX1TlqFuNYVJ4cVWoM7kHiiPccKe8HcZIr5LeYsl+oiuP+ZHAZkeVX0R0kUUKVPvT9JbhG9QvejUUxl6D0i4pB71FhqynY8T/7KP4cWgP2fHcdhBiYyX7athgUUkaaOVbiMYMqHwrjWPNszA2i6o8mOlrDrIRCDI3IY60uGsErFqysJe5/3FR9VuIjMCt3RyStoK1ybfj9vuMChStDLrcCyX2z7HgVwg+WOzNcS962DRWbC3wnUGaSxzzSWzS7i1hRZOQa/pgcPLqogTaUsMPmaQ4OhD+iZsf+onVqPsnF5CBgtKY1R58JnrzIDFG4k02G8XGt4XbbqP8WttjKVkr/HQD7FUHIwVETWGeTLqdUTqwOrY1O7EkApr2AElWUoohRClhqnL0EUTfqMPizv9Lz8ApAo+fNaL3R0/MJJO8=

%URL%
https://github.com/yav/simple-smt

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1743772776

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

