[ 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 开发工具
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