Chore: fix an opam dep

3 jobs for 2.71.6 in 4 minutes and 57 seconds
latest
Status Name Job ID Coverage
  Build
passed build #240835

00:02:25

 
  Test
passed test_opam_test #240850

00:02:32

failed test_opam_test #240836
allowed to fail

00:01:19