Publishing details

• Published on 2014-11-05

Changelog

cvc4 (1.3-1ubuntu1~precise1) precise; urgency=medium

  * Modify files for Ubuntu precise
 -- Dan Liew <email address hidden>   Wed, 05 Nov 2014 00:01:00 +0000

Builds

• amd64
• i386

Package files

• cvc4_1.3-1ubuntu1~precise1.debian.tar.gz (8.6 KiB)
• cvc4_1.3-1ubuntu1~precise1.dsc (1.8 KiB)
• cvc4_1.3.orig.tar.gz (5.9 MiB)