architecture: all component: main package: libboogie-cil priority: optional section: cli-mono srcpkg_name: boogie srcpkg_version: 2.4.1+dfsg-0.1 version: 2.4.1+dfsg-0.1