@name cadical-3.0.1
@version 18
@comment pkgpath=math/cadical ftp=yes
@arch aarch64,arm64
+DESC
@sha fFZjEfKQjxn4fCWJXH/3MhBxC5peC1cnx+vL0RDMeeU=
@size 743
@wantlib c++.13.0
@wantlib c++abi.10.0
@wantlib c.104.0
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
@bin bin/cadical
@sha EbKhHBG2P/rGF+pjF4AfYS4eDqWDa4Ea0yvTvYOmvao=
@size 1378320
@ts 1792609756
@bin bin/mobical
@sha n1FSOMhl1yJrQg4WOf/o5tjl9181d5Bhc1Zr82nTYWE=
@size 1545240
@ts 1792609757
include/cadical.hpp
@sha txEWkMYZNbnAltNwG+WbPD0mxVXquOBw8Z6yqX3F04w=
@size 56809
@ts 1792609757
@lib lib/libcadical.so.0.0
@sha ne4nQN1htEv6V40w86PxXyPXkP5iddYEF+samVH9mBI=
@size 2051080
@ts 1792609757
