@name cadical-3.0.1p0
@version 14
@comment pkgpath=math/cadical ftp=yes
@arch mips64,octeon
+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 Wct3n59/4QjWTbSm685GoxL3Hj5thnfflBXDEafAeq8=
@size 2179800
@ts 1793062893
@bin bin/mobical
@sha 6ZNjUv6MNiCqva4cjEf5ZZ4vPwGn90H+uz2jjE4+aF0=
@size 2452952
@ts 1793062893
include/cadical.hpp
@sha txEWkMYZNbnAltNwG+WbPD0mxVXquOBw8Z6yqX3F04w=
@size 56809
@ts 1793062893
@lib lib/libcadical.so.0.0
@sha aG6BSNFK+4de9Iy9YQLZcg75GIwVYrQvfMscCr9p9+M=
@size 2646344
@ts 1793062894
