Commit a5bb2847 authored by erwan's avatar erwan
Browse files

Trt to fix the opam package by undoing previous changes

parent 91a72845
Pipeline #1628 passed with stages
in 8 minutes and 44 seconds