@name cadical-3.0.1p1
@version 9
@comment pkgpath=math/cadical ftp=yes
@arch sparc64
+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 af6jI8NB1n/B5Jgjggl2o1T4TzZ3GCQZYfP9LjrGY2U=
@size 1695896
@ts 1793992622
@bin bin/mobical
@sha Vf99hxp5+JjUlJF1888y9ARHX9EmKoifP5pua2xpkRQ=
@size 1893544
@ts 1793992622
include/cadical.hpp
@sha txEWkMYZNbnAltNwG+WbPD0mxVXquOBw8Z6yqX3F04w=
@size 56809
@ts 1793992622
@lib lib/libcadical.so.0.0
@sha xGvZXhYPoDaPA7VgjJPwGhTDsRq6GlXRgtIzGnt+WrI=
@size 2195096
@ts 1793992623
