[  etiona  ] [  nabia  ] [  aramo  ]

dafny 的相關超連結

Trisquel 的資源：

• 報告問題
• Changelog
• 版權文件
• Debian 原始碼倉庫 (Git)

維護者：

• Benjamin Barenblat

Original Maintainer:

• Benjamin Barenblat

外部的資源：

• 主頁 [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 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