Source Package: boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)
Links for boogie
Trisquel-palvelut:
Ylläpitäjä:
Original Maintainer:
- Benjamin Barenblat
External Resources:
- Kotisivu [research.microsoft.com]
Seuraavat binääripaketit on käännetty tästä lähdepaketista:
- boogie
- verifiable programming language (compiler)
- libboogie-cil
- verifiable programming language (library)
Muut pakettiin boogie liittyvät paketit
|
|
-
- 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
| Tiedosto | Koko (kt) | MD5-tarkiste |
|---|---|---|
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc | 1.8 kt | 532bcb274af779294ffc456297d71f1e |
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz | 1,839.5 kt | 4b2390e5351bf60fbeea21f4c9e2bda3 |
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz | 8.5 kt | 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