Host setup helper to pull in all packages which are required or useful on the build host to build disk images.

A photogrammetry toolkit that provides improved methods for making and using camera models (calibration, tracking, mapping, etc). The focus is on calibration and uncertainty propagation to produce the most accurate models possible. This package provides the runtime C libraries

IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation.

This package provides an extension to reason with big enough objects (mostly natural numbers) for the Mathematical Components library.

SAIL is a fast and lightweight cross-platform image decoding and encoding library providing multi-leveled APIs from one-liners to complex use-cases with custom I/O sources.

This package will download the Google's Sources for Android 27 package and unpacks it into Debian-friendly paths.