¿Alguien sabe cómo podemos obtener versiones anteriores de z3 para Linux 64? Estoy usando Ubuntu 10.04 y no incluye GLIBGXX 3.4.14, que es requerido por z3 3.2 (la versión que tengo actualmente). Así que me preguntaba si podría tener acceso a una versión anterior.

Además, si alguien sabe cómo puedo superar este problema (quizás una forma de obtener GLIBCXX 3.4.14) en Ubuntu 10.04 agradecería la ayuda.

Gracias