Skip to content
Sections
>> Trisquel >> Packages >> etiona >> Source >> misc >> boogie
etiona  ] [  nabia  ] [  aramo  ]

Source Package: boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)

Links for boogie

Trisquel Resources:

Maintainer:

Original Maintainer:

  • Benjamin Barenblat

External Resources:

Наступні двійкові пакунки побудовано з цього джерельного пакунка:
boogie
verifiable programming language (compiler)
libboogie-cil
verifiable programming language (library)

Інші пакунки пов'язані з boogie

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 9)
    helper programs for debian/rules

Download boogie

ФайлРозмір (в кБ)MD5 checksum
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc 1.8 kB 532bcb274af779294ffc456297d71f1e
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz 1,839.5 kB 4b2390e5351bf60fbeea21f4c9e2bda3
boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz 8.5 kB f27b9c60dece98d70554a49ba5389b90
Debian Package Source Repository (VCS: Git)
git://benjamin.barenblat.name/debian-boogie.git
Debian Package Source Repository (Browsable)
https://benjamin.barenblat.name/gitweb/?p=debian-boogie.git