>> Trisquel >> 套件 >> nabia >> 原始碼 >> misc >> boogie

[ etiona ] [ nabia ] [ aramo ]

原始碼套件： boogie (2.4.1+dfsg-0.1)

boogie 的相關超連結

Trisquel 的資源：

維護者：

Benjamin Barenblat

Original Maintainer:

Benjamin Barenblat

外部的資源：

主頁 [research.microsoft.com]

本原始碼套件構建了以下這些二進制套件：

boogie: verifiable programming language (compiler)
libboogie-cil: verifiable programming language (library)

其他與 boogie 有關的套件

完整構建時刻依賴

單獨構建時刻依賴

adep: debhelper-compat (= 12)

套件暫時不可用
adep: cli-common-dev

common files for building CLI packages
adep: mono-devel

Mono development tools
adep: tzdata

time zone and daylight-saving time data

Download boogie

文件	大小(單位: kB)	MD5 檢查碼
boogie_2.4.1+dfsg-0.1.dsc	1.9 kB	88261ab4e426dbe3e65e78e950493e47
boogie_2.4.1+dfsg.orig.tar.xz	1,138.4 kB	48ad137c9193ba3359f734f4310d3ffe
boogie_2.4.1+dfsg-0.1.debian.tar.xz	8.9 kB	71e7c99e1268de6fee4c02632c1c1032

Debian 套件原始碼倉庫(VCS: Git): https://salsa.debian.org/debian/boogie.git
Debian 套件原始碼倉庫(可在線瀏覽): https://salsa.debian.org/debian/boogie