# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = rocqide
pkgbase = rocq
xdata = pkgtype=split
pkgver = 9.1.0-2
pkgdesc = Interactive theorem prover, or proof assistant (GTK-based GUI)
url = https://rocq-prover.org/
builddate = 1761988975
packager = Juergen Hoetzel <juergen@archlinux.org>
size = 26678242
arch = x86_64
license = LGPL-2.1-or-later
replaces = coqide
conflict = coqide
provides = coqide
depend = cairo
depend = fontconfig
depend = freetype2
depend = gdk-pixbuf2
depend = glib2
depend = glibc
depend = gmp
depend = gtk3
depend = gtksourceview3
depend = pango
depend = rocq
makedepend = cairo
makedepend = dune
makedepend = fontconfig
makedepend = freetype2
makedepend = gdk-pixbuf2
makedepend = glib2
makedepend = glibc
makedepend = gmp
makedepend = gtk3
makedepend = gtksourceview3
makedepend = lablgtk3
makedepend = ocaml
makedepend = ocaml-findlib
makedepend = ocaml-zarith
makedepend = pango
