chrisz ad698956ee Use the -full source distribution, which includes the (partly patched) ... dependencies of opam. This will make maintenance easier. OK krw@, avsm@		2019-03-12 05:36:06 +00:00
..
files
patches	Use the -full source distribution, which includes the (partly patched)	2019-03-12 05:36:06 +00:00
pkg
distinfo	Use the -full source distribution, which includes the (partly patched)	2019-03-12 05:36:06 +00:00
Makefile	Use the -full source distribution, which includes the (partly patched)	2019-03-12 05:36:06 +00:00