Package: libcadical-dev
Source: cadical
Version: 1.7.4-1
Installed-Size: 1602
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Architecture: armel
Description: Simplified Satisfiability Solver (development files)
Multi-Arch: same
Homepage: http://fmv.jku.at/cadical/
Description-md5: ae908dcf4f3ffc7f8fda281e112f0e49
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/c/cadical/libcadical-dev_1.7.4-1_armel.deb
Size: 336664
MD5sum: 87e45e8a9680478a645e94f47f0db3e0
SHA256: 225a368f44aa5a6651ddbefccfcadafc7b8eb53118e71bf7569b04217bd17f26

Package: libcadical-dev
Source: cadical
Version: 1.7.4-1
Installed-Size: 1673
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Architecture: i386
Description: Simplified Satisfiability Solver (development files)
Multi-Arch: same
Homepage: http://fmv.jku.at/cadical/
Description-md5: ae908dcf4f3ffc7f8fda281e112f0e49
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/c/cadical/libcadical-dev_1.7.4-1_i386.deb
Size: 392824
MD5sum: 4f05ffce35b2a5ba10097d431654ef14
SHA256: bd555612d363462828aec11df7a1955fbc36d9491fbf31bf0e956e2c62658e27

Package: libcadical-dev
Source: cadical
Version: 1.7.4-1
Installed-Size: 1882
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Architecture: amd64
Description: Simplified Satisfiability Solver (development files)
Multi-Arch: same
Homepage: http://fmv.jku.at/cadical/
Description-md5: ae908dcf4f3ffc7f8fda281e112f0e49
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/c/cadical/libcadical-dev_1.7.4-1_amd64.deb
Size: 348924
MD5sum: 36517c0dc16955a45db8943dd1953e80
SHA256: d4f83ab90129add92a076f5f5d75e7e6e250d6fd0baeb7613d567da377d526f6