-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 22 Aug 2016 14:28:39 +0200 Source: konclude Binary: konclude Architecture: source amd64 Version: 0.6.2~dfsg-3 Distribution: unstable Urgency: medium Maintainer: Jonas Smedegaard <dr@jones.dk> Changed-By: Jonas Smedegaard <dr@jones.dk> Description: konclude - tableau-based description logic reasoner for the semantic web Closes: 811670 Changes: konclude (0.6.2~dfsg-3) unstable; urgency=medium . * Add patch from upstream to fix compilation with GCC6. Closes: bug#811670. Thanks to Martin Michlmayr and Andreas Steigmiller. * Declare compliance with Debian Policy 3.9.8. * Modernize Vcs-git fields to use https protocol. * Modernize CDBS: Build-depend on licensecheck (not devscripts). Checksums-Sha1: 00966f15a1d02dc0c227c571e1acdc0902853038 1903 konclude_0.6.2~dfsg-3.dsc 0ef9294798c8db722a89ee209f080dfcd7578ed6 22424 konclude_0.6.2~dfsg-3.debian.tar.xz 92add2cca785e44282c3af045fd696ac77f68304 98868058 konclude-dbgsym_0.6.2~dfsg-3_amd64.deb f2fed1abd312e03bf36ce1898b05c5455ca8c90d 1739976 konclude_0.6.2~dfsg-3_amd64.deb Checksums-Sha256: 7165c983f642479c55b40fb24b6c74260040b74fe31f0278f095ca00410d5e36 1903 konclude_0.6.2~dfsg-3.dsc bc515450699eb71b1d32b4f9bcc06a2e2534c4d90c3c0f0d8ad2a2366074ac24 22424 konclude_0.6.2~dfsg-3.debian.tar.xz 44061b15f1b2e1dcd3fd62a866476cc0f9df681976554f7796b075f4ab768764 98868058 konclude-dbgsym_0.6.2~dfsg-3_amd64.deb c29ae1a4efbb1c08545e40df899e6dcb172ee12351b29dd6772c5bceeb338ab1 1739976 konclude_0.6.2~dfsg-3_amd64.deb Files: 2c6e6634e1e25e0b651636804d00a9e5 1903 science optional konclude_0.6.2~dfsg-3.dsc f6e7754fb66a458aa61c287649fe5285 22424 science optional konclude_0.6.2~dfsg-3.debian.tar.xz e891537de6ad6a0ce180330b40274267 98868058 debug extra konclude-dbgsym_0.6.2~dfsg-3_amd64.deb da4543a759183b941cbbb3511da37582 1739976 science optional konclude_0.6.2~dfsg-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQIcBAEBCAAGBQJXuykUAAoJECx8MUbBoAEhDHYP+wZtm67GwcFmNBFo4EK8/jQ3 N2tuec5ufX2icIPuE3jTGT4XAHvh2PxASUY7dl2ECd0dLprSWQmPLCcA/XQFLfBs hWWQkEtoNFu1gUDMEEQln0bSpJxVW9AviVZvLGB0Yx7jcVbX/sCIBXVYthjLnGwA zwkJaOH/clbCgbGEa5OUtuosoJskgt7D4j2RZT7P/jnuXYz9VspX1nGTX8OBWV7u JkPwMtGVLbFucv880k8PMvat3gxQhHFR/6MJqOvok0ggrjKdlSqK0SbelELIgj1A OWfgb1sx0j7rbnVtMaHoz4tAEvt6rE+RIMblXZHSbsj5WReCLkmVSAQl6/ii0tKK 2vr3rz5OwCQ4ujTmccWmVyh0sWmpmXAFEkkkjl/xSvnH9mNlg8X0tzNfVvGnBuqe AeWkSyXwLlgdVrJVStgVz7Nkm05ckLq4m+nTXDDz71s9MpUwYKnRxmPTfLWWlonM mYGyxc6HvTnTkC9QMKsfGVnn9hWK2aAq9uHwRuJaSkFO7pAf6y3wdG3i8nHdzAXo 9cbQ6b6Y3K/+Zit0PnCzEEEkYdkV8F6B+9dhqFy/bu4L7ANyl0eNyrwtsAsxrnLB OWRjPbXH9RkjeEp8Yha2ROGACmJ6PFD1WkAK84/L3uVHIZCGYjngd41162GmZuxB WBGAuF9prtIyGlK6Uhpb =Jesp -----END PGP SIGNATURE-----
