[ bullseye ] [ bookworm ] [ sid ]

源码包：dafny（2.3.0+dfsg-0.1）

dafny 的相关链接

Debian 的资源：

维护者：

Benjamin Barenblat (QA 页面)

外部的资源：

主页 [research.microsoft.com]

本源码包构建了以下这些二进制包：

dafny: programming language with program correctness verifier

其他与 dafny 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper-compat (= 12)

软件包暂时不可用
adep: cli-common-dev

common files for building CLI packages
adep: libboogie-cil

verifiable programming language (library)
adep: mono-devel

Mono 开发工具

Download dafny

文件	大小（单位：kB）	MD5 校验码
dafny_2.3.0+dfsg-0.1.dsc	1.9 kB	eeeace130b80448c522243ce880cd9e1
dafny_2.3.0+dfsg.orig.tar.xz	2,116.3 kB	9106c3f8985bfa66fa641791c7ae5699
dafny_2.3.0+dfsg-0.1.debian.tar.xz	10.2 kB	17e393f6a9c52ca18b4d67afb86c17f0

Debian 软件包源码仓库（VCS：Git）: https://salsa.debian.org/debian/dafny.git
Debian 软件包源码仓库（可在线浏览）: https://salsa.debian.org/debian/dafny