-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: curry-tools Binary: curry-tools-source Architecture: all Version: 2.0.1-1 Maintainer: Debian Curry Maintainers Uploaders: Mike Gabriel , Michael Hanus , Homepage: https://git.ps.informatik.uni-kiel.de/curry/curry-tools Standards-Version: 4.1.3 Vcs-Browser: https://anonscm.debian.org/git/pkg-curry/curry-tools.git Vcs-Git: https://anonscm.debian.org/git/pkg-curry/curry-tools.git Build-Depends: cdbs, debhelper (>= 10~), tar (>= 1.28) Package-List: curry-tools-source deb devel optional arch=all Checksums-Sha1: 8f1cb2a798e6e4c0e704a21958e0bbf9f79bd9e5 425094 curry-tools_2.0.1.orig.tar.gz ba1595238edba10523b532f0056b3ff617d45cda 3464 curry-tools_2.0.1-1.debian.tar.xz Checksums-Sha256: 420787b4b02a06a9aaaa6b5e5971e86a31dd3d459c54d2d8ee2d36a4b8eb3fdc 425094 curry-tools_2.0.1.orig.tar.gz 4ca1a98138ef7b436d62e8b63ce6b0d7ad49ebd19e792cf8588040ad427691e2 3464 curry-tools_2.0.1-1.debian.tar.xz Files: 9c9e59a605677ca6751e40c4c0c580e8 425094 curry-tools_2.0.1.orig.tar.gz 01f3f6458bc51f146ccbfb62180ef7fd 3464 curry-tools_2.0.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlp9gkkVHHN1bndlYXZl ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxP3AP/13EK8T7V4xRxJMGLQSrHYeyDb1N jHvfPhW+4yjJlWHqB+kDsTontgPvEqt3Wpd0fpnqKiu0vSM2dkaYthk9m842/Nj6 6nAVtkNFS4CawabD7xGgOOOrJEPz7miqNNuQA6KwCx87M3WdAXEFM8kCVULf4vn3 QMbjrqKNE7aLOvE0TypiBqQhb+blX5u7z0+XPGGbt2SsFX7NIoRYVZPX+vlhn7YQ 3UGIMFiMiC0x9yNADAjTWnQM6rlaONdE56j2Qn+tC9zq4ibBptIOXrsxqL651ntc 4DG9Bs2wTgaoHuat4p7YkAb/plsypPz3Tn8ZelL9hGrgmQOScUQEw+kDp1HLKguW lYx7ERebF9d1OgTf2p+zhnMbFCdaIIUrpljg+y+d9eIJXPC5YH51RlKRLXQoFB71 n5kjLHtz8tg/758l+x0EhHyDaw7+S9DoamNQKhsAps3l3iTdT0SNxHTTbo7fyJrq DDg08W4+WTTXOLjwjBg7bn8WkLo4vEnhMjOuKkZ0WQkiunFWm+JqoxgJAK66TJKO TPKNuSR+44ESGAbjoza8uOg01yd7eSl2Bqn2CmG5rFUGkpvvSuMaGHz1Rj8JOsq+ w4/nX4UFLV8PWIBH1K8RoL74W7i+NfMlqCdO/Xp3UkGq5W/IF2MLF6IRGGnGAqj4 cYWcV6CFXeNLCome =SodI -----END PGP SIGNATURE-----