Platform: deb20

Ubuntu 20.04 (Focal Fossa) 64-bit package; Boost 1.71, gcc 9.2, Python 3

This platform builds and tests the IMP Debian/Ubuntu (.deb) package on 64-bit Ubuntu 20.04 (Focal Fossa) (running inside a Docker container).

To build the package yourself, see the tools/debian/ directory, in particular the make-package.sh script.