libboogie-cil - 2.4.1+dfsg-0.1 main

verifiable programming language (library)

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

Dependencies

Installed Size: 2.0 MB
Architectures: all 

 

Versions

2.4.1+dfsg-0.1 all