disable formatting

for now

Pour opam 20231209

+ workaround for a bug when closing windows in some Mac OS versions

+ more robust detection of system directories (in particular for the
Windows OS) using the Directories package

opam release

pour paquet opam

opam version 20220730

fix mouse wheel scrolling

fix testing dir

remove cram test

opam version 20210917

correct opam file