Paquet source : boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)
Liens pour boogie
Ressources Trisquel :
Responsable :
Original Maintainer:
- Benjamin Barenblat
Ressources externes :
- Page d'accueil [research.microsoft.com]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- boogie
- verifiable programming language (compiler)
- libboogie-cil
- verifiable programming language (library)
Autres paquets associés à boogie
|
|
-
- 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
| Fichier | Taille (en ko) | Somme MD5 |
|---|---|---|
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc | 1,8 ko | 532bcb274af779294ffc456297d71f1e |
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz | 1 839,5 ko | 4b2390e5351bf60fbeea21f4c9e2bda3 |
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz | 8,5 ko | f27b9c60dece98d70554a49ba5389b90 |
- Dépôt Debian des paquets source (VCS: Git)
- git://benjamin.barenblat.name/debian-boogie.git
- Dépôt Debian des paquets source (interface web)
- https://benjamin.barenblat.name/gitweb/?p=debian-boogie.git