openKylin cbmc package

cbmc 5.10-ok1 source package in openKylin

Changelog

cbmc (5.10-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:
any
Section:
science
Urgency:
Medium Urgency

Publishing See full publishing history

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
cbmc_5.10.orig-java-models-library.tar.gz 169.3 KiB e640dc23ad0e70d9e6750d1fe683cb4378797b4c96bd0d8a15cfeaab2ade5487
cbmc_5.10.orig.tar.gz 6.1 MiB 00e4836992e6cc56c5bf1299cc6de1a2eed5d8be9485c2adb52e1e69fb575352
cbmc_5.10-ok1.debian.tar.xz 10.6 KiB 6e5181c36b1b86dea98a47dc087df89afcc146b5f0b8f033d125062ad0941455
cbmc_5.10-ok1.dsc 2.0 KiB 737db0c61e1c0f468f2c1158abfed0930029d0095943b3e4f29111b9835ab7f8

View changes file

Binary packages built by this source

cbmc: No summary available for cbmc in openkylin yangtze.

No description available for cbmc in openkylin yangtze.