printing in QBF
opam file