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