krw 9430c8ad69 Update extlib to 1.7.0, the same version opam installs when asked.
Switch to github hosting. Delete dead MASTER_SITES.

One tweak to a dependent (dose) due to a structure change.

Tweaks & ok sthen@ before 6.0 intervened
2016-08-19 12:51:19 +00:00

3 lines
123 B
Plaintext

SHA256 (ocaml-extlib-1.7.0.tar.gz) = PJ/RWaTsQBVZkF+W5XgxekkzRSztmn86T4n5xxMNmmM=
SIZE (ocaml-extlib-1.7.0.tar.gz) = 83327