Pakiet: dafny (2.3.0+dfsg-0.1) [universe]

Odnośniki dla dafny

Zasoby systemu Ubuntu:

• Raporty o błędach
• Dziennik zmian w systemie Ubuntu
• Informacje nt. praw autorskich

Pobieranie pakietu źródłowego dafny:

• [dafny_2.3.0+dfsg-0.1.dsc]
• [dafny_2.3.0+dfsg.orig.tar.xz]
• [dafny_2.3.0+dfsg-0.1.debian.tar.xz]

Opiekun:

• Ubuntu MOTU Developers (Archiwum e-mail)

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.

Zasoby zewnętrzne:

• Strona internetowa [research.microsoft.com]

Podobne pakiety:

• libboogie-cil
• elpa-language-id
• scala
• golang-1.17-doc
• golang-1.18-doc
• golang-doc
• rustc
• aplus-fsf-doc
• gccgo-go
• golang-1.13-doc
• snek

Inne pakiety związane z dafny

• dep: libboogie-cil

  verifiable programming language (library)

• dep: libmono-corlib4.5-cil (>= 5.18.0.240)

  Mono core library (for CLI 4.5)

• dep: libmono-system-core4.0-cil (>= 5.18.0.240)

  Mono System.Core library (for CLI 4.0)

• dep: libmono-system-numerics4.0-cil (>= 5.16.0.220)

  Mono System.Numerics library (for CLI 4.0)

• dep: libmono-system-runtime-serialization4.0-cil (>= 5.16.0.220)

  Mono System.Runtime.Serialization Library (for CLI 4.0)

• dep: libmono-system4.0-cil (>= 5.18.0.240)

  Mono System libraries (for CLI 4.0)

• dep: mono-mcs

  Mono C# 2.0 / 3.0 / 4.0 / 5.0 compiler for CLI 2.0 / 4.0 / 4.5

• dep: mono-runtime (>= 3.0~)

  Mono runtime - default version

• dep: z3

  theorem prover from Microsoft Research

Pobieranie dafny