New Upstream Snapshot - pps-tools

Merged new upstream version: 1.0.2+git20181203.b3eae48 (was: 1.0.2).

Resulting package

Changes filename: pps-tools_1.0.2+git20181203.b3eae48-1~jan+nus1_amd64.changes

Built on 2019-11-11T20:01 (took 2m35s)

The resulting binary packages can be installed (if you have the apt repository enabled) by running one of:

apt install -t fresh-snapshots pps-tools
apt install -t fresh-snapshots pps-tools-dbgsym

More details

Full run details