cadical-2.1.3.tar.gz | File Info

Name	cadical-2.1.3.tar.gz
Digest (sha256)	abfe890aa4ccda7b8449c7ad41acb113cfb8e7e8fbf5e49369075f9b00d70465
Size	714.40 KB
Modification time	Thu, 24 Apr 2025 22:38:53 UTC
User	root
Group	root
Mode	-rw-r--r--
Flags
RPM	cadical-1:2.1.3-1.fc42.src.rpm