Publishing details

• Published on 2010-11-27

Changelog

cvc4 (0.1~20101127-0~ppa1~maverick1) maverick; urgency=low

  * Nightly PPA build
 -- <email address hidden> (Christopher L. Conway)   Sat, 27 Nov 2010 11:41:18 -0500

Builds

• amd64
• i386

Built packages

• cvc4 First order formula validity checker (version 4)

• cvc4-doc CVC4 command-line, language, and API documentation

• libcvc4-0 CVC4 dynamic libraries

• libcvc4-dev CVC4 headers and static libraries

• libcvc4parser-dev CVC4 parser headers and static libraries

• libcvc4parser0 CVC4 parser dynamic libraries

Package files

• cvc4-doc_0.1~20101127-0~ppa1~maverick1_all.deb (3.8 MiB)
• cvc4_0.1~20101127-0~ppa1~maverick1.debian.tar.gz (5.2 KiB)
• cvc4_0.1~20101127-0~ppa1~maverick1.dsc (1.2 KiB)
• cvc4_0.1~20101127-0~ppa1~maverick1_amd64.deb (26.7 KiB)
• cvc4_0.1~20101127-0~ppa1~maverick1_i386.deb (25.4 KiB)
• cvc4_0.1~20101127.orig.tar.gz (12.5 MiB)
• libcvc4-0_0.1~20101127-0~ppa1~maverick1_amd64.deb (739.0 KiB)
• libcvc4-0_0.1~20101127-0~ppa1~maverick1_i386.deb (702.8 KiB)
• libcvc4-dev_0.1~20101127-0~ppa1~maverick1_amd64.deb (2.1 MiB)
• libcvc4-dev_0.1~20101127-0~ppa1~maverick1_i386.deb (2.0 MiB)
• libcvc4parser-dev_0.1~20101127-0~ppa1~maverick1_amd64.deb (234.2 KiB)
• libcvc4parser-dev_0.1~20101127-0~ppa1~maverick1_i386.deb (225.7 KiB)
• libcvc4parser0_0.1~20101127-0~ppa1~maverick1_amd64.deb (124.1 KiB)
• libcvc4parser0_0.1~20101127-0~ppa1~maverick1_i386.deb (120.8 KiB)