Mon, 17 Jun 2024 18:58:48 UTC | login

Information for file /usr/include/apron/apronxx/apxx_manager.hh

Name/usr/include/apron/apronxx/apxx_manager.hh
Digest (sha256)5e6e6c99e2788e73af74ea21806dbfa12770edff55fbfe2738e28a9b8c1be7b1
Size7.19 KB
Modification timeWed, 20 Sep 2023 19:55:04 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMapron-devel-0.9.14-5.fc40.riscv64.rpm