cudd-3.0.0.tar.gz | File Info

Name	cudd-3.0.0.tar.gz
Digest (sha256)	5fe145041c594689e6e7cf4cd623d5f2b7c36261708be8c9a72aed72cf67acce
Size	1.12 MB
Modification time	Wed, 25 Mar 2020 20:40:39 UTC
User	root
Group	root
Mode	-rw-r--r--
Flags
RPM	yices-2.6.5-8.fc42.src.rpm