Back to the official opam version
 HEAD detached at d409576
 Changes to be committed:
	modified:   bolt.1.2/descr
	modified:   bolt.1.2/opam
	modified:   bolt.1.3/opam
Merge commit 'HEAD@{5}' into HEAD

Trying to get back the official opam packages before my own modifications
on bolt.1.2 and bolt.1.3. Trying to keep the modifications on bolt.1.4
(with a better merging) and from acgtk.