Wed, 04 Aug 2021 22:22:41 UTC

Information for file /usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Show.html

Name/usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Show.html
Digest (sha256)a3be2e259d310ccd7e1e8d1066d15cf17686aa5e2a03d6d8d8a577643e52e580
Size3538
Modification timeWed, 03 Feb 2016 15:29:33 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMAgda-stdlib-docs-0.9-3.fc24.noarch.rpm