» Ubuntu » パッケージ » noble (24.04LTS) » ソース » misc » boogie

[ jammy ] [ noble ]

ソースパッケージ: boogie (2.4.1+dfsg-0.1) [universe]

boogie に関するリンク

Ubuntu の資源:

メンテナ:

Ubuntu MOTU Developers (メールアーカイブ)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

Benjamin Barenblat

It should generally not be necessary for users to contact the original maintainer.

外部の資源:

ホームページ [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