[  etiona  ] [  nabia  ] [  aramo  ]

Verwijzigingen voor boogie

Trisquel bronnen:

• Probleemrapporten
• Changelog
• Copyright-bestand
• Debian Source Repository (Git)

Beheerder:

• Benjamin Barenblat

Original Maintainer:

• Benjamin Barenblat

Externe bronnen:

• Homepage [research.microsoft.com]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

boogie

verifiable programming language (compiler)

libboogie-cil

verifiable programming language (library)

Andere aan boogie gerelateerde pakketten

build-depends

build-depends-indep

• adep: debhelper (>= 9)

  helper programs for debian/rules

• idep: cli-common-dev (>= 0.8)

  common files for building CLI packages

• idep: mono-devel (>= 2.4.2.3)

  Mono development tools

• idep: mono-reference-assemblies-4.0

  Mono runtime - compiler compatibility for .NET 4.0

• idep: tzdata

  time zone and daylight-saving time data

Download boogie

Bestand	Grootte (in kB)	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