Leverage p2's ability to depend on native package #53
Description
In Luna p2 has added the ability to express dependencies on native packages on debian. We should leverage this ability in order to make sure the user installs CBMC.
{{ message }}
In Luna p2 has added the ability to express dependencies on native packages on debian. We should leverage this ability in order to make sure the user installs CBMC.