Accepted konclude 0.6.2~dfsg-5 (source) into unstable

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

Format: 1.8
Date: Thu, 29 Nov 2018 17:00:28 +0100
Source: konclude
Binary: konclude
Architecture: source
Version: 0.6.2~dfsg-5
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
Changes:
 konclude (0.6.2~dfsg-5) unstable; urgency=medium
 .
   * Run examples as minimal testsuite.
Checksums-Sha1:
 55241c14c3d92acb7240a1acc17eab49fad16d80 1914 konclude_0.6.2~dfsg-5.dsc
 2c5aa691c846cfb77ad2b3f12abf8a5b85f32be7 23296 konclude_0.6.2~dfsg-5.debian.tar.xz
 1f21262d520aded6de3ae3ad990c195da081b5a9 10119 konclude_0.6.2~dfsg-5_amd64.buildinfo
Checksums-Sha256:
 e72dbf65053e2f31e33090944adac1dd125b72a0e7a4c661e27b747ec4d95123 1914 konclude_0.6.2~dfsg-5.dsc
 372ff32c711eb1772df381ef632fbb6bc45716647cf70802ba216418d3447f58 23296 konclude_0.6.2~dfsg-5.debian.tar.xz
 b465b7198746acb6750abdcadc91fc5049f96478eedc820efaa554bded278d60 10119 konclude_0.6.2~dfsg-5_amd64.buildinfo
Files:
 1f641864f182ac8d771b8d0facab7f27 1914 science optional konclude_0.6.2~dfsg-5.dsc
 4bc73cb4741d5500fdb16bdd2d6407c8 23296 science optional konclude_0.6.2~dfsg-5.debian.tar.xz
 65f1f0a59cf8a613db6711efc1e80d70 10119 science optional konclude_0.6.2~dfsg-5_amd64.buildinfo

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

iQIzBAEBCgAdFiEEn+Ppw2aRpp/1PMaELHwxRsGgASEFAlwADnwACgkQLHwxRsGg
ASHDXxAAm1sss8wxcLYtofgAmfWahExFw5m3x/Gf4OjGQPuiaUyi2KeduxKCoOkY
Sw4/NHsPh1M56N5i8EPYYNvsKtH/YST+gozxelfhC8vlImcrBlIhZGeIMvcznmQd
vfGOt8+CK0xnwUCoVBrL3TwPuyyCY8KxqK7dqiIDZCpoGEcLzdCj4ch7htPGPx8f
IsUQBhbQ8NAI4RFgkN8jCrYEwJSbVeZLHUNcVDsSZjVlVI9b3C6IOocdRPl0BVUY
MvAf52zUZ6NPXBNdbqt7uQDaXMmS4X2h7oonWmYVQbvvJQ7uJUuKCjhLbmg31Lrs
miPVcz83PxtTyq5+0OroV7Gnkum+hfg1I/xZammu8fDVQUeY3ubFjWKNqn0zqNWw
d5P+xjIUvlsKHahmonPN4kQMvApi9mnIs6L1QLgWIQiL7QTDNsopoTmfpRAVEvf9
WSDVgkPJOt4jHiE7inmu2E/PfpJ1O2K07b+m0tR5xgLe4RTDFgoLShBjGZXd64zl
7JeDMF9508bnrRRrAt3k9Qe5ssGJwiOnBbErWNuZ2Ys+k4iwzwWz5sE6wfnxgBd8
YvQ7hYQVZQDMOyRfx5YCydxPH3Jj0MUZPda7/EBfvXSd6ZZihCesrLBO53hEtU4r
cBZF3FM9HqgIpvieC//q5rFpXMivdATCwsbO5yfBHi9lnSpHjMw=
=lgl2
-----END PGP SIGNATURE-----