Pakiet źródłowy: boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)
Odnośniki dla boogie
Zasoby systemu Trisquel:
- Raporty o błędach
- Changelog
- Informacje nt. praw autorskich
- Repozytorium kodu źródłowego Debiana (Git)
Opiekun:
Original Maintainer:
- Benjamin Barenblat
Zasoby zewnętrzne:
- Strona internetowa [research.microsoft.com]
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- boogie
- verifiable programming language (compiler)
- libboogie-cil
- verifiable programming language (library)
Inne pakiety związane z 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
| Plik | Rozmiar (w KiB) | Suma kontrolna MD5 |
|---|---|---|
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.dsc | 1,8 KiB | 532bcb274af779294ffc456297d71f1e |
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1.orig.tar.gz | 1 839,5 KiB | 4b2390e5351bf60fbeea21f4c9e2bda3 |
| boogie_2.3.0.61016+dfsg+3.gbp1f2d6c1-1.debian.tar.xz | 8,5 KiB | f27b9c60dece98d70554a49ba5389b90 |
- Repozytorium kodu źródłowego Debiana (VCS: Git)
- git://benjamin.barenblat.name/debian-boogie.git
- Repozytorium kodu źródłowego Debiana (do przeglądania)
- https://benjamin.barenblat.name/gitweb/?p=debian-boogie.git