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

..

patches

…

pkg

…

distinfo

Update to cudf-0.8

2016-04-27 12:36:32 +00:00

Makefile

Update extlib to 1.7.0, the same version opam installs when asked.

2016-08-19 12:51:19 +00:00