cvc3 2.4.1-5.1 source package in Debian

Changelog

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)

 -- Adrian Bunk <email address hidden>  Fri, 13 Jan 2017 18:58:49 +0200

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section
Stretch release main math

Builds

Downloads

File Size SHA-256 Checksum
cvc3_2.4.1-5.1.dsc 2.0 KiB c6cb0fd23694694c7dd9b294c609a8da1180c72633817c3e77e4df4d96e8c4a2
cvc3_2.4.1.orig.tar.gz 1.1 MiB d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615
cvc3_2.4.1-5.1.debian.tar.xz 10.0 KiB b88085b8cf081ec2da326c403e34b5f3a076e36caa3d7a971595e1350684b993

No changes file available.

Binary packages built by this source