openKylin dafny package

dafny 2.3.0+dfsg-ok1 source package in openKylin

Changelog

dafny (2.3.0+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:
devel
Urgency:
Medium Urgency

Publishing See full publishing history

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
dafny_2.3.0+dfsg.orig.tar.xz 2.1 MiB 239664cd32619a6fe3f4c5695d7f82015d430eefceaa524846566ef80c93a50d
dafny_2.3.0+dfsg-ok1.debian.tar.xz 10.0 KiB f38c86bd9c6c88c0f1bfde3e7a4a5ef3735a4005a9241edc122a747c4a220afb
dafny_2.3.0+dfsg-ok1.dsc 1.7 KiB 65ae959df7a8bea28bab1e255954af17fe88f106c61840099ed8763ae3c9b3a2

View changes file

Binary packages built by this source

dafny: No summary available for dafny in openkylin yangtze.

No description available for dafny in openkylin yangtze.