The jazz_dev and jazz_stable git repositories have been merged into a
single jazz repo. Please update your .git/config file. This is
something I have wanted to do for a while as it will greatly simplify
git repo management for everyone. From instance, stable releases now
become git branches on the main jazz repo. This will also enable
making experimental branches on the jazz repo.

Also related to the repositories, all the jazz modules have been
separated into independant packages. Many of those packages that where
optional to jazz / jedi and/or experimental have also been moved from
the jazz repo to a new jazz_opt repo. This is following in the current
work of making jazz lean with almost zero overhead on top of Gambit.
This modularization should also enable implementing in the next few
weeks, building in parallel on multi-core computers for faster build
times.

Guillaume