Format: 3.0 (quilt)
Source: cadical
Binary: cadical, libcadical-dev
Architecture: any
Version: 1.7.4-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders: Scott Talbert <swt@techie.net>
Homepage: http://fmv.jku.at/cadical/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/science-team/cadical
Vcs-Git: https://salsa.debian.org/science-team/cadical.git
Build-Depends: debhelper-compat (= 13), help2man
Package-List:
 cadical deb math optional arch=any
 libcadical-dev deb libdevel optional arch=any
Checksums-Sha1:
 9cc70c65c80f40c0c13b57cb43ea2a6804cae4eb 647830 cadical_1.7.4.orig.tar.gz
 b6f853bda63fdcb137a0c107fc813e47997fd06b 3960 cadical_1.7.4-1.debian.tar.xz
Checksums-Sha256:
 866c8a1332ff1ad5dc7ad403bdef3164420f3f947816b5c9509aad1d18ada7a1 647830 cadical_1.7.4.orig.tar.gz
 230f02fe30d39dcb11338de157aa241d9c41a481fcac16c55c9e1740e05e6501 3960 cadical_1.7.4-1.debian.tar.xz
Files:
 519d7e4d1bec28efba490221bca6f318 647830 cadical_1.7.4.orig.tar.gz
 a663b5d75359ee41bf86de02bf3098ff 3960 cadical_1.7.4-1.debian.tar.xz