原始碼套件： 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
| 文件 | 大小(單位: kB) | MD5 檢查碼 |
|---|---|---|
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc | 1.8 kB | 532bcb274af779294ffc456297d71f1e |
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz | 1,839.5 kB | 4b2390e5351bf60fbeea21f4c9e2bda3 |
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz | 8.5 kB | f27b9c60dece98d70554a49ba5389b90 |
- Debian 套件原始碼倉庫(VCS: Git)
- git://benjamin.barenblat.name/debian-boogie.git
- Debian 套件原始碼倉庫(可在線瀏覽)
- https://benjamin.barenblat.name/gitweb/?p=debian-boogie.git