Accepted konclude 0.6.2~dfsg-3 (source amd64) into unstable
-----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-----