-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: clasp
Binary: clasp
Architecture: any
Version: 3.3.5-4ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Homepage: https://www.potassco.org/clasp/
Standards-Version: 4.5.1
Vcs-Browser: https://salsa.debian.org/science-team/clasp
Vcs-Git: https://salsa.debian.org/science-team/clasp.git
Testsuite: autopkgtest
Testsuite-Triggers: gringo
Build-Depends: debhelper-compat (= 13), dpkg-dev (>= 1.16.1~), g++-10 (>= 10.2.1), catch, cmake (>= 3.1.0)
Package-List:
 clasp deb interpreters optional arch=any
Checksums-Sha1:
 f6eb209a033a67dd2803f9230f0b3f9399163ced 831051 clasp_3.3.5.orig.tar.gz
 9e969cd182336bdd2f465e5930dc665c6f5530ac 10408 clasp_3.3.5-4ubuntu1.debian.tar.xz
Checksums-Sha256:
 c0204b85ea3453af9372d8c7ffcb11306d5279b68c4d4af056f3fad65fe50724 831051 clasp_3.3.5.orig.tar.gz
 91fe0fa495b683c1706a6877003b8aba9fd69d65e6a5dc8920636cfe52310271 10408 clasp_3.3.5-4ubuntu1.debian.tar.xz
Files:
 65be9d4c720053e89c31fb2f9d718b69 831051 clasp_3.3.5.orig.tar.gz
 cee526a3d89452bc2a997edc280fe2fd 10408 clasp_3.3.5-4ubuntu1.debian.tar.xz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEvmGi93UQ0LG+1oIxWInBerHI2JAFAmHoFG0ACgkQWInBerHI
2JDaqxAAqQwdcdenMApzxkqWdlMUTAz7S0Z9OlIrKD8USU28ZlxTmrXcaEPUzdwj
PaF1ixRofrCVlAr9HONEMfOLnLpYgoEEJt37rQfYoLavpTXBoG84OK3OBNpRcsdh
eI3DaaX+Ic4yFxx1jfx7cgin9FdqvLnL7EqM2FwcgOhMnsDY5jM+vyL4NfHZK56e
Qv8P6Kddz8Nje8kmuIXb9hfzDKnhyCfSuh3xJsqIexw3yPrhUd+fui/rp0bllR4T
xlFN7oyqCP8iWbGdCq8JWNdb1JpVeReJzDzAW3pN24HnKu4UgKE+cLiLWK3Lyymn
DuP768bqtlh/rQKYF4bVBho7V6YQVys2UImFc63FzLn5FJ4hCSfvShfdPgFX+8zc
LtIoqWOlIeyAVPyKAgq1GIw8R+jCzRYlZDC62Z/qI1cXz2yyGyfIj+ozg6xTWOEM
1bEtwYvfgV8IyjZ9NQp8RtnIS/XMGipIdzBzYpl8GDkg/pMo5ytOeS2zPN69rPPA
EGh1VwAcmYWXzE3+6A3x+TsGgQ2p7ofnrZjgn+OpGebNWI1XkI0HxdGgZl2otah6
V2kn9pf5NP/8sJV5OS4y/274Fuuv8pS0y4nHOhmYf2o1FveAfHuQrOwoqCvTURC3
m/KtXc5Kdq5TVv7OWxOMm3t0CPBcmn7MZFm/xoS3+9PCP1dVclg=
=Gp01
-----END PGP SIGNATURE-----