void-packages/srcpkgs/pps-tools
Piraty a822198a35 pps-tools: update to 1.0.2.
As the old version scheme was YYYMMDD, we need to use xbps's `revert`
feature to make the new version be considered of higher priority.
2019-05-21 15:47:00 +02:00
..
patches
template