%FILENAME%
rocq-stdlib-9.2.0-1-any.pkg.tar.zst

%NAME%
rocq-stdlib

%BASE%
rocq-stdlib

%VERSION%
9.2.0-1

%DESC%
Stdlib for the Rocq Prover

%CSIZE%
23547282

%ISIZE%
71493879

%SHA256SUM%
e78ec4dfb8e4783abe47184cab83f8cdce6dc75785d84fdf36c956a6cc9886c4

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAk4ACgkQrx0hme8KPM8OEA/+Jva6DcGSXqS5mQIMJCxx/p4APEibD9A1bxqglPbwIWCHY/BhD/R1bQGiRIB0GucAeYt0umc6uKFMcjNK9FR1IlvxoVRkvqSk7vXc9x/U16Bavj4J9qzLUzFBhSVt7MtXE6XRY4mcF5KWXSAcVF6wbc/tD8FZrf0NltOjPPD3dTEpBUp/APyeNkOMFpN5vHy+Poo4ZOqXeg5pFq+nZUWCcnv+X4wVm1XsgfS8U6z9wiAyNLkhWH1AOv1KOdQqsxpfmca5O9h0rKBO26h35veVG07p20LSP6muB8hswXcAcTEvXd73hPq9YW5Asq8T8OHBD6+w/FzUd7TwxuJ+UBZRx0pgHBHghXxEcahO7wWXf2pXZuwg/6bIwIiaBpXYg01u4pFnBzP5mJ27anSFxDgGFr7zCgRzEZE1/mR8eL+xfbPPz1pdvnCR7dgIaMHryjQ2UxhjlgErqUsxIhs9knfVjHDXrdqwz4EiQIjxh1BB3gmtLuQwm0+MqmyB4vK60gDsoZR9FsaJENicgBiOZe57beMXGR9beEVYwHq5ZrhNXWl7DEvuNBmurqy10IyRJv/MrhE2KkS6f+QnA6iTE6fgf88jInGlkivYqY5M5k/8If6pTaMIKbz690Dpr/xv45Ft5+h8+gVyhmbTA0gGKPnBv4KNMdyrK6jvjvVM64Q+niY=

%URL%
https://rocq-prover.org/

%LICENSE%
LGPL-2.1-only

%ARCH%
any

%BUILDDATE%
1788937710

%PACKAGER%
Carl Smedstad <carsme@archlinux.org>

%DEPENDS%
rocq

%MAKEDEPENDS%
dune
ocaml
ocaml-compiler-libs
ocaml-findlib
ocaml-zarith
pango

