Ubuntu 22.04 (Jammy Jellyfish) 64-bit package; Boost 1.74, gcc 11.2, Python 3
This platform builds and tests the IMP Debian/Ubuntu (.deb) package on 64-bit Ubuntu 22.04 (Jammy Jellyfish) (running inside a Docker container).
To build the package yourself, see the tools/debian/ directory, in particular the make-package.sh script.
