[ bullseye ]
[ bookworm ]
原始碼套件：dafny（2.3.0 dfsg-0.1）
本原始碼套件構建了以下這些二進位制包：
- 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 development tools
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