[  etiona  ] [  nabia  ] [  aramo  ]

Odkazy pre boogie

Zdroje Trisquel:

• Hlásenia chýb
• Changelog
• Autori a licencia
• Zdrojové úložisko Debianu (Git)

Správca:

• Benjamin Barenblat

Original Maintainer:

• Benjamin Barenblat

Externé zdroje:

• Domovská stránka [research.microsoft.com]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

boogie

verifiable programming language (compiler)

libboogie-cil

verifiable programming language (library)

Ostatné balíky súvisiace s balíkom boogie

build-depends

build-depends-indep

• adep: debhelper-compat (= 12)

  Balík nie je dostupný

• 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

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
boogie_2.4.1+dfsg-0.1.dsc	1.9 kB	88261ab4e426dbe3e65e78e950493e47
boogie_2.4.1+dfsg.orig.tar.xz	1,138.4 kB	48ad137c9193ba3359f734f4310d3ffe
boogie_2.4.1+dfsg-0.1.debian.tar.xz	8.9 kB	71e7c99e1268de6fee4c02632c1c1032

Úložisko zdrojových balíkov Debianu (VCS: Git)

https://salsa.debian.org/debian/boogie.git

Úložisko zdrojových balíkov Debianu (možno prezerať)

https://salsa.debian.org/debian/boogie