../ coin-3.1.3-4-p2-x86_64.pisi 30-Dec-2019 09:39 2525271 coin-3.1.3-5-p2-x86_64.pisi 27-Jan-2020 20:42 2549970 coin-devel-3.1.3-4-p2-x86_64.pisi 30-Dec-2019 09:39 214571 coin-devel-3.1.3-5-p2-x86_64.pisi 27-Jan-2020 20:43 214597 coin-docs-3.1.3-4-p2-x86_64.pisi 30-Dec-2019 09:39 3264217 coin-docs-3.1.3-5-p2-x86_64.pisi 27-Jan-2020 20:43 3256378