Sign me up Login

Details about package "boogie"

Name: boogie
Uploader: Fabian Wolff <fabi.wolff@arcor.de> (Debian QA page)
Description: boogie - verifiable programming language (compiler)
libboogie-cil - verifiable programming language (library)

Package versions

Version 2.4.1-0.1

Information

Version: 2.4.1-0.1
Uploaded: 2019-11-16 18:27
Source package: https://mentors.debian.net/debian/pool/main/b/boogie/boogie_2.4.1-0.1.dsc
Distribution: unstable
Section: cli-mono
Priority: optional
Closes bugs: 927171

QA information

Comments

No comments