Пакет исходного кода: dafny (1.9.7-1)
Ссылки для dafny
Ресурсы Trisquel:
Сопровождающий:
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 |