. "$GRIMOIRE/VDEPENDS" &&
vdepends <<< "at-spi2-core >= 2.45.0" &&
depends cairo       &&
depends camlidl     &&
depends fontconfig  &&
depends frama-c     &&
depends freetype2   &&
depends gdk-pixbuf2 &&
depends glib2       &&
depends gmp         &&
depends mlgmpidl    &&
depends mpfr        &&
depends ocaml       &&
depends pango       &&
optional_depends lablgtk2 \
                 "" \
                 "" \
                 "for a graphical user interface" &&
optional_depends coq \
                 "" \
                 "" \
                 "to use coq" &&
optional_depends alt-ergo \
                 "" \
                 "" \
                 "use alt-ergo"
