cvc3_2.4.1-5.1_amd64.deb


Advertisement

Description

cvc3 - Automatic theorem prover for SMT problems

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: cvc3
Package version: 2.4.1
Package release: 5.1
Package architecture: amd64
Package type: deb
Installed size: 61 B
Download size: 20.15 KB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

    Download

    Binary package: cvc3_2.4.1-5.1_amd64.deb
    Source package: cvc3

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install cvc3 deb package:
      # sudo apt-get install cvc3

    Changelog

    2017-01-13 - Adrian Bunk <bunk@debian.org> cvc3 (2.4.1-5.1) unstable; urgency=medium * Non-maintainer upload. * Use -std=gnu++98 to fix the build with gcc 6. (Closes: #811823)

    2014-09-27 - Morgan Deters <mdeters@morgandeters.com> cvc3 (2.4.1-5) unstable; urgency=low * New maintainer. (Closes: #757192) * Fix clean target, resolving ppc64el FTBFS. (Closes: #756524) * Update standards version. * Fix dep5 copyright. * Remove Vcs-git and Vcs-browser (not available for CVC3). * Now lintian clean (with some overrides).

    2012-08-12 - Christopher L. Conway <cconway@cs.nyu.edu> cvc3 (2.4.1-4) unstable; urgency=low * Transfer package repo to Git. * Fix syntax error in debian/copyright. * Keep 50cvc3-el.el after remove. (Closes: #684351) * Use ln -sf when linking cvc3-el emacsen files. (Closes: #684026) * Remove build dep on gcj-native-helper. (Closes: #678183)

    2012-04-16 - Christopher L. Conway <cconway@cs.nyu.edu> cvc3 (2.4.1-3) unstable; urgency=low * Create new package libcvc3-dev to replace libcvc3-5-dev and libcvc3-2-dev (Closes: #662198) * Add Replaces/Conflicts to libcvc3-5-jni for libcvc3-2-jni (Closes: #662200) * Leave .el files in site-lisp directory when installing cvc3-el to enable source lookup (Closes: #665319) * Remove cvc-mode autoload from site-start.d on cvc3-el removal (Closes: #668688) * Bring cvc3-el.emacsen-startup in line with Debian policy (Closes: #668685)

    2012-03-03 - Christopher L. Conway <cconway@cs.nyu.edu> cvc3 (2.4.1-2) unstable; urgency=low * Upgrading to standards version 3.9.3 * Fixing lintian errors * Fixing upstream tarball

    2012-02-25 - Christopher L. Conway <cconway@cs.nyu.edu> cvc3 (2.4.1-1) unstable; urgency=low * New upstream release (Closes: #660244) * Updating to standards version 3.9.2 * Switching to dpkg-source 3.0 (quilt) format * Changing default-jdk-builddep build dependency to default-jdk * Re-enabling libcvc3-jni on kfreebsd-amd64 (Closes: #576335)

    2011-03-16 - Steve M. Robbins <smr@debian.org> cvc3 (2.2-13.1) unstable; urgency=low * NMU. Change dependencies libgmp3-dev --> libgmp-dev.

    2010-04-08 - Christopher L. Conway <cconway@cs.nyu.edu> cvc3 (2.2-13) unstable; urgency=low * Prevent Java tests from running on kfreebsd-amd64

    2010-04-06 - Christopher L. Conway <cconway@cs.nyu.edu> cvc3 (2.2-12) unstable; urgency=low * Adding patch for MiniSat unsigned char bug (Closes: #575002) * Removing kfreebsd-amd64 from Architectures for libcvc3-2-jni (Workaround for #576335)

    2010-03-16 - Christopher L. Conway <cconway@cs.nyu.edu> cvc3 (2.2-11) unstable; urgency=low * Patch: detect path to ldconfig for install

    Advertisement
    Advertisement