[ bullseye ] [ bookworm ] [ sid ]

原始碼套件：boogie（2.4.1+dfsg-0.1）

boogie 的相關連結

Debian 的資源：

維護者：

Benjamin Barenblat (QA 頁面)

外部的資源：

主頁 [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

有關時區與日光節約時間的資料

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