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	update to opam-1.2.2	2015-08-30 16:30:45 +00:00
patches
pkg	update to opam-1.2.2	2015-08-30 16:30:45 +00:00
distinfo	opam: add missing patch hunks in upgrade to 1.2.2	2015-08-31 12:14:12 +00:00
Makefile	Update extlib to 1.7.0, the same version opam installs when asked.	2016-08-19 12:51:19 +00:00