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

[ jammy ] [ noble ]

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

dafny に関するリンク

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]

以下のバイナリパッケージがこのソースパッケージからビルドされています。

dafny: programming language with program correctness verifier

その他の dafny 関連パッケージ

構築依存	構築依存 (アーキテクチャ非依存)

adep: debhelper-compat (= 12)

パッケージは利用できません
adep: cli-common-dev

common files for building CLI packages
adep: libboogie-cil

verifiable programming language (library)
adep: mono-devel

Mono development tools

Download dafny

ファイル	サイズ (単位: kB)	MD5 チェックサム
dafny_2.3.0+dfsg-0.1.dsc	1.9 kB	eeeace130b80448c522243ce880cd9e1
dafny_2.3.0+dfsg.orig.tar.xz	2,116.3 kB	9106c3f8985bfa66fa641791c7ae5699
dafny_2.3.0+dfsg-0.1.debian.tar.xz	10.2 kB	17e393f6a9c52ca18b4d67afb86c17f0

Debian パッケージソースリポジトリ (VCS: Git): https://salsa.debian.org/debian/dafny.git
Debian パッケージソースリポジトリ (ブラウザで表示可能): https://salsa.debian.org/debian/dafny