why 2.29+dfsg-4 (powerpc binary) in ubuntu precise

 Why aims at being a verification conditions generator (VCG) back-end
 for other verification tools. It provides a powerful input language
 including higher-order functions, polymorphism, references, arrays and
 exceptions. It generates proof obligations for many systems: the proof
 assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
 decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.

Details

Package version:
2.29+dfsg-4
Source:
why 2.29+dfsg-4 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional