Build History for branch/live

Merge pull request #254 from rjbou/key Update opam dev team public key

Merge pull request #249 from kit-ty-kate/fix-man2html Fix the custom man2html binary

Merge pull request #220 from rjbou/opamlib-2.1 Port to opam lib 2.1

Merge pull request #248 from Julow/link-to-ocamlorg-doc Add a link to documentation on ocaml.org

Merge pull request #246 from kit-ty-kate/opam-master Enforce the latest commit of opam master to be used to build the documentation according to the OPAM_GIT_SHA environement variable

Merge pull request #245 from mtelvers/dockerfile Update Dockerfile

Merge pull request #244 from ocaml-opam/rjbou-patch-1 Update opam-dev-team.pgp

Merge pull request #243 from mtelvers/dockerfile Add opam mirror to odoc build

live fixup

Merge pull request #241 from kit-ty-kate/redirect-installer Add redirects to the opam installer scripts

Merge pull request #240 from ocaml-opam/rjbou-update-key Update opam dev team public key

Merge pull request #238 from mtelvers/dockerfile Dockerfile maintenance updates

Merge pull request #237 from mtelvers/opam-solver-timeout

Merge pull request #233 from dra27/revert-231 Revert #231

Merge pull request #232 from rjbou/key Update public key

Merge pull request #231 from dra27/hotfix-ocamlgraph Hotfix unavailability of ocamlgraph.1.8.8 sources

Merge pull request #230 from ocaml-opam/speedup-cache-checksum Speedup the cache checksum by using opam master instead of opam 2.0