Commit 0ef01420 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Relax dependency on odoc.

parent cf04e4f3
Pipeline #246 passed with stages
in 5 minutes and 3 seconds