openKylin cvc4 package

cvc4 1.6-ok1 source package in openKylin

Changelog

cvc4 (1.6-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Upload details

Uploaded by:
openKylinBot
Sponsored by:
luzp
Uploaded to:
Yangtze V1.0
Original maintainer:
Openkylin Developers
Architectures:
amd64 i386 mips mips64el mipsel hurd-i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k powerpcspe x32
Section:
math
Urgency:
Medium Urgency

Publishing See full publishing history

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
cvc4_1.6.orig.tar.gz 7.5 MiB 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7
cvc4_1.6-ok1.debian.tar.xz 7.7 KiB de0e3af61de5b9d55600e54d41c188dcbce21e31f70e531d18ab4470e4c6c51f
cvc4_1.6-ok1.dsc 2.5 KiB 35f16b5e23e77c05272e349fabb716a5115710f991c0cf4b7ac8bf9a4014e212

View changes file

Binary packages built by this source

cvc4: No summary available for cvc4 in openkylin yangtze.

No description available for cvc4 in openkylin yangtze.

libcvc4-5: No summary available for libcvc4-5 in openkylin yangtze.

No description available for libcvc4-5 in openkylin yangtze.

libcvc4-dev: No summary available for libcvc4-dev in openkylin yangtze.

No description available for libcvc4-dev in openkylin yangtze.

libcvc4parser5: No summary available for libcvc4parser5 in openkylin yangtze.

No description available for libcvc4parser5 in openkylin yangtze.