Пакет-източник: boogie (2.4.1+dfsg-0.1)
Връзки за boogie
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Хранилище на изходен код (Git)
- Управление на кръпките в Debian
Отговорник:
Външни препратки:
- Начална страница [research.microsoft.com]
Следните двоични пакети са компилирани от този пакет-източник:
- boogie
- verifiable programming language (compiler)
- libboogie-cil
- verifiable programming language (library)
Други пакети, свързани с boogie
|
|
-
- adep: debhelper-compat (= 12)
- Пакетът не е наличен
-
- adep: cli-common-dev
- common files for building CLI packages
-
- adep: mono-devel
- Mono development tools
-
- adep: tzdata
- time zone and daylight-saving time data
Download boogie
| Файл | Големина (в кБ) | контролна сума MD5 |
|---|---|---|
| boogie_2.4.1+dfsg-0.1.dsc | 1,9 кБ | 88261ab4e426dbe3e65e78e950493e47 |
| boogie_2.4.1+dfsg.orig.tar.xz | 1 138,4 кБ | 48ad137c9193ba3359f734f4310d3ffe |
| boogie_2.4.1+dfsg-0.1.debian.tar.xz | 8,9 кБ | 71e7c99e1268de6fee4c02632c1c1032 |
- Хранилище на изходния код на пакета (СКП: Git)
- https://salsa.debian.org/debian/boogie.git
- Хранилище на изходния код на пакета (за разглеждане през браузър)
- https://salsa.debian.org/debian/boogie