PositiveInteger.php

828.00 B -rw-r--r--

RPM 71132

File

Name: /usr/share/php/phpDocumentor/Reflection2/PseudoTypes/PositiveInteger.php
Digest (sha256): 75870ae7bb102d48f8e4da9740f3778913ec61f606d272a75f0f4e4d3d3649ef
Size: 828.00 B
Modification time: Tue, 25 Nov 2025 07:01:29 UTC
Flags: none
RPM: php-phpdocumentor-type-resolver1-1.12.0-3.fc45.noarch.rpm