[  etiona  ] [  nabia  ] [  aramo  ]

Връзки за dafny

Ресурси за Trisquel:

• Доклади за грешки
• Changelog
• Авторски права

Отговорник:

• Benjamin Barenblat

Original Maintainer:

• Benjamin Barenblat

Външни препратки:

• Начална страница [research.microsoft.com]

Следните двоични пакети са компилирани от този пакет-източник:

dafny

programming language with program correctness verifier

Други пакети, свързани с dafny

зависимости при компилиране

зависимости при компилиране (архитектурно-независими)

• adep: debhelper (>= 9)

  helper programs for debian/rules

• idep: cli-common-dev (>= 0.8)

  common files for building CLI packages

• idep: libboogie-cil

  verifiable programming language (library)

• idep: mono-devel (>= 2.4.2.3)

  Mono development tools

• idep: mono-reference-assemblies-4.0

  Mono runtime - compiler compatibility for .NET 4.0

Download dafny

Файл	Големина (в кБ)	контролна сума MD5
dafny_1.9.7-1.dsc	1,5 кБ	9f11652f4cf365c822ab9f61e16a7ce5
dafny_1.9.7.orig.tar.gz	6 247,1 кБ	53393cf7c1c77e44609927231bd03f07
dafny_1.9.7-1.debian.tar.xz	10,3 кБ	93ca8d852eef4b5c525390a4b7ab7b8e