Пакет-източник: boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)
Връзки за boogie
Ресурси за Trisquel:
Отговорник:
Original Maintainer:
- Benjamin Barenblat
Външни препратки:
- Начална страница [research.microsoft.com]
Следните двоични пакети са компилирани от този пакет-източник:
- boogie
- verifiable programming language (compiler)
- libboogie-cil
- verifiable programming language (library)
Други пакети, свързани с boogie
|
|
-
- adep: debhelper (>= 9)
- helper programs for debian/rules
-
- idep: cli-common-dev (>= 0.8)
- common files for building CLI packages
-
- idep: mono-devel (>= 2.4.2.3)
- Mono development tools
-
- idep: mono-reference-assemblies-4.0
- Mono runtime - compiler compatibility for .NET 4.0
-
- idep: tzdata
- time zone and daylight-saving time data
Download boogie
Файл | Големина (в кБ) | контролна сума MD5 |
---|---|---|
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc | 1,8 кБ | 532bcb274af779294ffc456297d71f1e |
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz | 1 839,5 кБ | 4b2390e5351bf60fbeea21f4c9e2bda3 |
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz | 8,5 кБ | f27b9c60dece98d70554a49ba5389b90 |
- Хранилище на изходния код на пакета (СКП: Git)
- git://benjamin.barenblat.name/debian-boogie.git
- Хранилище на изходния код на пакета (за разглеждане през браузър)
- https://benjamin.barenblat.name/gitweb/?p=debian-boogie.git