Debian
cvc3 package

cvc3 2.4.1-5.2 source package in Debian

Changelog

cvc3 (2.4.1-5.2) unstable; urgency=medium

  * Non-maintainer upload.
  * No longer build the Java bindings (never used and incompatible
    with recent JDKs)

 -- Emmanuel Bourg <email address hidden>  Thu, 12 Sep 2019 14:15:37 +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

Builds

Downloads

File Size SHA-256 Checksum
cvc3_2.4.1-5.2.dsc 1.9 KiB c173d7fc53aabd2d9481cbe66a69fe6a070fdb906cad4ddd3a5d04a69c42ab91
cvc3_2.4.1.orig.tar.gz 1.1 MiB d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615
cvc3_2.4.1-5.2.debian.tar.xz 10.1 KiB da70c3576390b9804f8b5b028fbedc889c9ceeef476177f18ac5e8ebdd51cb29

No changes file available.

Binary packages built by this source