[  etiona  ] [  nabia  ] [  aramo  ]

Връзки за boogie

Ресурси за Trisquel:

• Доклади за грешки
• Changelog
• Авторски права
• Хранилище на изходен код (Git)

Отговорник:

• Benjamin Barenblat

Original Maintainer:

• Benjamin Barenblat

Външни препратки:

• Начална страница [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