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
..
files
patches
pkg
distinfo
Makefile	Update extlib to 1.7.0, the same version opam installs when asked.	2016-08-19 12:51:19 +00:00