File pps-tools.obsinfo of Package pps-tools
name: pps-tools version: 0.0.0+git.20211122 mtime: 1637567329 commit: c50cb7183e252b47308fa22f420e0a877277aa29
name: pps-tools version: 0.0.0+git.20211122 mtime: 1637567329 commit: c50cb7183e252b47308fa22f420e0a877277aa29