Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> ソース >> misc >> boogie
[  etiona  ] [  nabia  ] [  aramo  ]

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

boogie に関するリンク

Trisquel の資源:

メンテナ:

Original Maintainer:

  • Benjamin Barenblat

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
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