openKylin boogie package

boogie 2.4.1+dfsg-ok1 source package in openKylin

Changelog

boogie (2.4.1+dfsg-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:
all
Section:
cli-mono
Urgency:
Medium Urgency

Publishing See full publishing history

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
boogie_2.4.1+dfsg.orig.tar.xz 1.1 MiB 863dbb07fa71e2fdc117f87dac8193dc438ef8aaa9940379e21738ef86c9f077
boogie_2.4.1+dfsg-ok1.debian.tar.xz 8.4 KiB 37bb4ea7e4c72f3d53a73d52e2982e8e0247d8dd070c2c640bc92a79a996c5b0
boogie_2.4.1+dfsg-ok1.dsc 1.8 KiB 854920d4e1499927aef9f524304533fc748a67881912d6e99e1a022f20953e62

View changes file

Binary packages built by this source

boogie: No summary available for boogie in openkylin yangtze.

No description available for boogie in openkylin yangtze.

libboogie-cil: No summary available for libboogie-cil in openkylin yangtze.

No description available for libboogie-cil in openkylin yangtze.