Yes, but `opam install graphics` did fail. > On Feb 14, 2018, at 12:31 PM, Xavier Clerc wrote: > > Wait, if `opam install graphics` does not fail, > it probably means that graphics is actually > installed.