Relax dependency on odoc.

24 jobs for devel in 5 minutes and 3 seconds (queued for 6 seconds)
Status Name Job ID Coverage
  Compile
passed compile_4.07.1 #1636

00:00:49

passed compile_4.08.1 #1637

00:00:49

passed compile_4.09.1 #1638

00:00:49

passed compile_4.10.2 #1639

00:00:49

passed compile_4.11.2 #1640

00:00:53

passed compile_4.12.0-domains #1643

00:00:52

passed compile_4.12.1 #1641

00:00:52

passed compile_4.13.1 #1642

00:00:52

 
  Test
passed test_4.07.1 #1644

00:00:34

passed test_4.08.1 #1645

00:00:34

passed test_4.09.1 #1646

00:00:33

passed test_4.10.2 #1647

00:00:33

passed test_4.11.2 #1648

00:00:36

passed test_4.12.0-domains #1651

00:00:35

passed test_4.12.1 #1649

00:00:36

passed test_4.13.1 #1650

00:00:36

 
  Package
passed package_4.07.1 #1652

00:01:02

passed package_4.08.1 #1653

00:01:01

passed package_4.09.1 #1654

00:01:01

passed package_4.10.2 #1655

00:01:01

passed package_4.11.2 #1656

00:01:06

passed package_4.12.0-domains #1659

00:01:06

passed package_4.12.1 #1657

00:01:06

passed package_4.13.1 #1658

00:01:06