Relax dependency on odoc.

24 jobs for polymorphic in 5 minutes and 39 seconds (queued for 7 seconds)
Status Name Job ID Coverage
  Compile
passed compile_4.07.1 #1612

00:00:53

passed compile_4.08.1 #1613

00:00:52

passed compile_4.09.1 #1614

00:00:52

passed compile_4.10.2 #1615

00:00:52

passed compile_4.11.2 #1616

00:00:53

passed compile_4.12.0-domains #1619

00:00:53

passed compile_4.12.1 #1617

00:00:53

passed compile_4.13.1 #1618

00:00:53

 
  Test
passed test_4.07.1 #1620

00:00:44

passed test_4.08.1 #1621

00:00:44

passed test_4.09.1 #1622

00:00:43

passed test_4.10.2 #1623

00:00:43

passed test_4.11.2 #1624

00:00:46

passed test_4.12.0-domains #1627

00:00:45

passed test_4.12.1 #1625

00:00:46

passed test_4.13.1 #1626

00:00:46

 
  Package
passed package_4.07.1 #1628

00:01:01

passed package_4.08.1 #1629

00:01:02

passed package_4.09.1 #1630

00:01:02

passed package_4.10.2 #1631

00:01:02

passed package_4.11.2 #1632

00:01:19

passed package_4.12.0-domains #1635

00:01:18

passed package_4.12.1 #1633

00:01:18

passed package_4.13.1 #1634

00:01:18