%FILENAME%
rocqide-9.1.0-4-x86_64.pkg.tar.zst

%NAME%
rocqide

%BASE%
rocq

%VERSION%
9.1.0-4

%DESC%
Interactive theorem prover, or proof assistant (GTK-based GUI)

%CSIZE%
7783272

%ISIZE%
26678596

%SHA256SUM%
e49ea8aa83041c27e5623f05a576de8e0303e416b00cce0d9da12afa2da94d28

%PGPSIG%
iHUEABYKAB0WIQTrPXZP9dh+CBij4OXwXowSExrrXgUCaRpFUgAKCRDwXowSExrrXr3mAQDbuwCjmIHauGcm+T/CQY8UnWMVInMTeF8Pf/IyWEwI3wD/esL7EArk0MYfbGJTKp+wZErgRJpiw4sc6oRvz8utkA0=

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

%LICENSE%
LGPL-2.1-only

%ARCH%
x86_64

%BUILDDATE%
1763329082

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

%REPLACES%
coqide

%CONFLICTS%
coqide

%PROVIDES%
coqide

%DEPENDS%
cairo
fontconfig
freetype2
gdk-pixbuf2
glib2
glibc
gmp
gtk3
gtksourceview3
pango
rocq

%MAKEDEPENDS%
cairo
dune
fontconfig
freetype2
gdk-pixbuf2
glib2
glibc
gmp
gtk3
gtksourceview3
lablgtk3
ocaml
ocaml-findlib
ocaml-zarith
pango

