Ubuntu
cvc3 package

Change logs for cvc3 source package in Precise

  1. Precise (12.04)
  2. Change log 
  • cvc3 (2.2-13.1) unstable; urgency=low

  * NMU.  Change dependencies libgmp3-dev --> libgmp-dev.
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sat,  30 Apr 2011 12:42:01 +0000