DNumber.php

316.00 B -rw-r--r--

RPM 70971

File

Name: /usr/share/php/SebastianBergmann/PhpTokenStream4/DNumber.php
Digest (sha256): ccb7a7e16ecaafa0a91576880c728b426c1d59b5734b52f8d68130a104916ac3
Size: 316.00 B
Modification time: Mon, 10 Aug 2020 04:46:28 UTC
Flags: none
RPM: php-phpunit-php-token-stream4-4.0.4-17.fc45.noarch.rpm