Rebase from 'debian/groovy/cram_reasoning'
Generated debian files for precise