>> 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