[  etiona  ] [  nabia  ] [  aramo  ]

Länkar för dafny

Trisquelresurser:

• Felrapporter
• Changelog
• Upphovsrättsfil
• Debians källkodsarkiv (Git)

Ansvarig:

• Benjamin Barenblat

Original Maintainer:

• Benjamin Barenblat

Externa resurser:

• Hemsida [research.microsoft.com]

Följande binärpaket byggs från detta källkodspaket:

dafny

programming language with program correctness verifier

Andra paket besläktade med dafny

bygg-beroende

arkitekturoberoende bygg-beroende

• adep: debhelper-compat (= 12)

  Paketet inte tillgängligt

• 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

Fil	Storlek (i kbyte)	MD5-kontrollsumma
dafny_2.3.0+dfsg-0.1.dsc	1,9 kbyte	eeeace130b80448c522243ce880cd9e1
dafny_2.3.0+dfsg.orig.tar.xz	2.116,3 kbyte	9106c3f8985bfa66fa641791c7ae5699
dafny_2.3.0+dfsg-0.1.debian.tar.xz	10,2 kbyte	17e393f6a9c52ca18b4d67afb86c17f0

Debians paketkällkodsarkiv- (VCS: Git)

https://salsa.debian.org/debian/dafny.git

Debians paketkällkodsarkiv (blädderbart)

https://salsa.debian.org/debian/dafny