Balík: boogie (2.4.1+dfsg-0.1) [universe]

Odkazy pre boogie

Zdroje Ubuntu:

• Hlásenia chýb
• Záznam zmien Ubuntu
• Autori a licencia

Stiahnuť zdrojový balík boogie:

• [boogie_2.4.1+dfsg-0.1.dsc]
• [boogie_2.4.1+dfsg.orig.tar.xz]
• [boogie_2.4.1+dfsg-0.1.debian.tar.xz]

Správca:

• Ubuntu MOTU Developers (Konferencia)

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.

Externé zdroje:

• Domovská stránka [research.microsoft.com]

Podobné balíky:

• dafny
• nim
• golang
• golang-1.18
• golang-1.13
• golang-1.17
• golang-1.20
• golang-1.21
• golang-1.22
• golang-1.23
• golang-1.24

Ostatné balíky súvisiace s balíkom boogie

• dep: libboogie-cil (= 2.4.1+dfsg-0.1)

  verifiable programming language (library)

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

  Mono core library (for CLI 4.5)

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

  Mono System.Windows.Forms Library (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

• sug: libgtk2.0-0

  GTK graphical user interface library - old version

Stiahnuť boogie