omd 1.0.0

warning: breaks compatibility with previous versions!
make existing packages depend on omd < 1.0.0

	modified:   packages/cow/cow.0.10.0/opam
	modified:   packages/cow/cow.0.8.0/opam
	modified:   packages/cow/cow.0.8.1/opam
	modified:   packages/cow/cow.0.9.0/opam
	modified:   packages/cow/cow.0.9.1/opam
	modified:   packages/cowabloga/cowabloga.0.0.1/opam
	modified:   packages/cowabloga/cowabloga.0.0.2/opam
	modified:   packages/cowabloga/cowabloga.0.0.3/opam
	modified:   packages/cowabloga/cowabloga.0.0.4/opam
	modified:   packages/cowabloga/cowabloga.0.0.5/opam
	modified:   packages/cowabloga/cowabloga.0.0.6/opam
	modified:   packages/cowabloga/cowabloga.0.0.7/opam
	modified:   packages/stone/stone.0.3.1/opam
	modified:   packages/stone/stone.0.3.2/opam
	modified:   packages/stone/stone.0.3/opam
fix: use & instead of &&
	modified:   packages/cow/cow.0.10.0/opam
	modified:   packages/cow/cow.0.8.0/opam
	modified:   packages/cow/cow.0.8.1/opam
	modified:   packages/cow/cow.0.9.0/opam
	modified:   packages/cow/cow.0.9.1/opam
	modified:   packages/cowabloga/cowabloga.0.0.1/opam
	modified:   packages/cowabloga/cowabloga.0.0.2/opam
	modified:   packages/cowabloga/cowabloga.0.0.3/opam
	modified:   packages/cowabloga/cowabloga.0.0.4/opam
	modified:   packages/cowabloga/cowabloga.0.0.5/opam
	modified:   packages/cowabloga/cowabloga.0.0.6/opam
	modified:   packages/cowabloga/cowabloga.0.0.7/opam
Add package for the model checker cubicle
specify ocaml version
Merge pull request #2420 from pw374/master

omd 1.0.0
Merge pull request #2422 from mebsout/master

Add cubicle 1.0
Merge pull request #2423 from darioteixeira/master

Add package for Bookaml 1.0
containers 0.3.3
Sync latest compiler pull requests
stringext v1.0.0
ocaml version constraint for containers 0.3.3
Merge pull request #2425 from c-cube/containers-0.3.3

containers 0.3.3
Merge pull request #2426 from bactrian/sync-prs-1407366001

Sync OCaml compiler PRs
Merge pull request #2427 from rgrinberg/master

stringext v1.0.0
ocamlfind 1.5.2
sequence 0.5.1
ppx_tools 0.99.1
Merge pull request #2429 from c-cube/sequence-0.5.1

sequence 0.5.1
added latest obuild version which corrects an important bug (i/j/k.ml
should create an I.J.K module after compilation)