How to Install replxx static lib deb from PPA

A static libreplxx-dev package exists to facilitate including replxx as a static library in other projects that are built using pbuilder-dist: https://launchpad.net/~siliconja/+archive/ubuntu/replxx/

This is tested using Ubuntu 20.04 (focal).

Add the PPA to your system:

sudo add-apt-repository ppa:siliconja/replxx
sudo apt update

Install the dev library:

sudo apt install libreplxx-dev

This deb package installs a /usr/lib/x86_64-linux-gnu/libreplxx.a file.

List of files installed:

$ dpkg-deb -c ./libreplxx-dev_0.0.4-1_amd64.deb 
drwxr-xr-x root/root         0 2022-11-01 14:18 ./
drwxr-xr-x root/root         0 2022-11-01 14:18 ./usr/
drwxr-xr-x root/root         0 2022-11-01 14:18 ./usr/include/
-rw-r--r-- root/root     24898 2021-10-20 14:53 ./usr/include/replxx.h
-rw-r--r-- root/root     22575 2021-10-20 14:53 ./usr/include/replxx.hxx
drwxr-xr-x root/root         0 2022-11-01 14:18 ./usr/lib/
drwxr-xr-x root/root         0 2022-11-01 14:18 ./usr/lib/x86_64-linux-gnu/
-rw-r--r-- root/root    556514 2022-11-01 14:18 ./usr/lib/x86_64-linux-gnu/libreplxx.a
drwxr-xr-x root/root         0 2022-11-01 14:18 ./usr/share/
drwxr-xr-x root/root         0 2022-11-01 14:18 ./usr/share/cmake/
drwxr-xr-x root/root         0 2022-11-01 14:18 ./usr/share/cmake/replxx/
-rw-r--r-- root/root      1382 2022-11-01 14:18 ./usr/share/cmake/replxx/replxx-config-version.cmake
-rw-r--r-- root/root       483 2022-11-01 14:18 ./usr/share/cmake/replxx/replxx-config.cmake
-rw-r--r-- root/root       850 2022-11-01 14:18 ./usr/share/cmake/replxx/replxx-targets-none.cmake
-rw-r--r-- root/root      3535 2022-11-01 14:18 ./usr/share/cmake/replxx/replxx-targets.cmake
drwxr-xr-x root/root         0 2022-11-01 14:18 ./usr/share/doc/
drwxr-xr-x root/root         0 2022-11-01 14:18 ./usr/share/doc/libreplxx-dev/
-rw-r--r-- root/root       106 2022-11-01 14:18 ./usr/share/doc/libreplxx-dev/README.Debian
-rw-r--r-- root/root       140 2022-11-01 14:18 ./usr/share/doc/libreplxx-dev/changelog.Debian.gz
-rw-r--r-- root/root      7276 2022-11-01 14:18 ./usr/share/doc/libreplxx-dev/copyright