openKylin frama-c package

frama-c 20191204+calcium-ok1 source package in openKylin

Changelog

frama-c (20191204+calcium-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:
devel
Urgency:
Medium Urgency

Publishing See full publishing history

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
frama-c_20191204+calcium.orig.tar.gz 5.5 MiB 167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d
frama-c_20191204+calcium-ok1.debian.tar.xz 17.6 KiB 0804b32a96e06c68de76791c385feadb25a578d7693d8919497f5c70ee182847
frama-c_20191204+calcium-ok1.dsc 2.0 KiB 6aa1569522cbafde63a649e0e8fcd4752fe901d2987116d93e63a18454041dc1

View changes file

Binary packages built by this source

frama-c-base: No summary available for frama-c-base in openkylin yangtze.

No description available for frama-c-base in openkylin yangtze.