Debian
cvc3 package

cvc3 2.4.1-5 source package in Debian

Changelog

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).

 -- Morgan Deters <email address hidden>  Sat, 27 Sep 2014 12:21:27 -0400

Upload details

Uploaded by:
Morgan Deters
Uploaded to:
Sid
Original maintainer:
Morgan Deters
Architectures:
any all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Jessie release main math

Builds

Downloads

File Size SHA-256 Checksum
cvc3_2.4.1-5.dsc 2.0 KiB 3bd53ffae5c033f67ced52a81027d44647259013d7451515559aeb6bde226433
cvc3_2.4.1.orig.tar.gz 1.1 MiB d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615
cvc3_2.4.1-5.debian.tar.xz 9.9 KiB 5552770a74dbbd4822d959de7a3726f1a00c06e10bb8da2389e741b1c9bd3da6

No changes file available.

Binary packages built by this source