boogie
verifiable programming language (compiler)

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/boogie

general

source
boogie (optional, misc)
version
2.4.1+dfsg-0.1
maint
Benjamin Barenblat
std-ver
4.4.1
VCS
Git (browse)

versions ... ...pool

oldstable
save 2.4.1+dfsg-0.1
stable
save 2.4.1+dfsg-0.1
unstable
save 2.4.1+dfsg-0.1
Ubuntu
2.4.1+dfsg-0.1

binaries

todo

  • Incorporate and acknowledge the changes from the non maintainer upload.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.4.1).
  • A new upstream version is available: 3.1.4, you should consider packaging it.

problems

  • There were override disparities found in suite unstable:
    • boogie: Override says cli-mono - optional, .deb says cli-mono - extra
    • libboogie-cil: Override says cli-mono - optional, .deb says cli-mono - extra
  • The current maintainer is looking for someone who can take over maintenance of this package. If you are interested in this package, please consider taking it over. Alternatively you may want to be co-maintainer in order to help the actual maintainer. Please see bug number #903142 for more information.

news RSS

bugs

all bug history graph
2
RC
1
I&N
0
M&W
1
F&P
0

links

patches

Debian
2.4.1+dfsg-0.1 2.4.1+dfsg-0.1 2.4.1+dfsg-0.1

subscribe to this package (docs)

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2024-04-13T02:58:35+00:00.