boogie - 2.4.1+dfsg-0.1 main

verifiable programming language (compiler)

Section: cli-mono
Suites: byzantium landing 
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
 
Homepage Source Package
 

Dependencies

Installed Size: 42.0 kB
Architectures: all 

 

Versions

2.4.1+dfsg-0.1 all