Hello, a cvc4 package would indeed be quite useful for the why3 verification platform (the why3 package just got included in unstable). So, how is it going with the packaging of cvc4? Cheers -Ralf. -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Équipe Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.univ-paris-diderot.fr/~treinen/