inCvs
Signed-off-by: Justin Lecher <jlec@gentoo.org>
sci-mathematics/pulp: Move to EAPI=5, distutils-r1.eclass and virtual/pyparsing, #449564; unbundle sci-libs/coinor-cbc

Package-Manager: portage-2.2.0_alpha151
sci-libs/coinor-cbc: Version Bump

Package-Manager: portage-2.2.0_alpha151
moved to tree
Signed-off-by: Justin Lecher <jlec@gentoo.org>
dev-ml/ocamlgraph: version bump
dev-ml/zarith: initial commit
sci-mathematics/alt-ergo: initial commit
sci-mathematics/flocq: version bump
sci-mathematics/frama-c: version bump
sci-mathematics/gappa: version bump
sci-mathematics/gappalib-coq: version bump
sci-mathematics/giac: version bump
sci-mathematics/pff: version bump
Merge branch 'master' of git+ssh://git.overlays.gentoo.org/proj/sci

* 'master' of git+ssh://git.overlays.gentoo.org/proj/sci:
  sci-mathematics/pff: version bump
  sci-mathematics/giac: version bump
  sci-mathematics/gappalib-coq: version bump
  sci-mathematics/gappa: version bump
  sci-mathematics/frama-c: version bump
  sci-mathematics/flocq: version bump
  sci-mathematics/alt-ergo: initial commit
  dev-ml/zarith: initial commit
  dev-ml/ocamlgraph: version bump
moved to tree
Signed-off-by: Justin Lecher <jlec@gentoo.org>
moved to tree
Signed-off-by: Justin Lecher <jlec@gentoo.org>
moved to tree
Signed-off-by: Justin Lecher <jlec@gentoo.org>