libboogie-cil_2.3.0.61016+dfsg+3.gbp1f2d6c1-1_all.deb


Advertisement

Description

libboogie-cil - verifiable programming language (library)

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: libboogie-cil
Package version: 2.3.0.61016+dfsg+3.gbp1f2d6c1
Package release: 1
Package architecture: all
Package type: deb
Installed size: 1.78 KB
Download size: 546.27 KB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

    Download

    Source package: boogie

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install libboogie-cil deb package:
      # sudo apt-get install libboogie-cil
    Advertisement
    Advertisement