-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 20 May 2015 20:07:11 +0200 Source: konclude Binary: konclude Architecture: source amd64 Version: 0.6.1-1 Distribution: unstable Urgency: low 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: 785934 Changes: konclude (0.6.1-1) unstable; urgency=low . * Initial packaging release. Closes: bug#785934. Checksums-Sha1: 57ae86474c61ae2bebc56b7a70d973b39a40462b 1865 konclude_0.6.1-1.dsc af73b6753ea6990d3236b7a254ae8075b1cc69ff 1972608 konclude_0.6.1.orig.tar.gz d0e98dae009899698abfacac1b5ecd32bb0016b6 20616 konclude_0.6.1-1.debian.tar.xz 72bd0d77c323e3d7e6958868af4de0d12eea1497 1816996 konclude_0.6.1-1_amd64.deb Checksums-Sha256: a48352deee058b35ee92326f75f59ee54a12b1b6f6f96c4480584d4fd2bcc4c6 1865 konclude_0.6.1-1.dsc 9d9478afebf45cdebc0a8186edc89f928c1606606807a04e205741d1fbe978ac 1972608 konclude_0.6.1.orig.tar.gz 4535fac79b10bbddc76ddec22511e66675476a0d518789e685f3c5466c1d0ff8 20616 konclude_0.6.1-1.debian.tar.xz e26e3066eab9111e9e88f00aa6b66db7cb5be6cf8ab5425c249c486bbf6da403 1816996 konclude_0.6.1-1_amd64.deb Files: 350480c71a139fbf6b0b1a2817faa7e7 1865 science optional konclude_0.6.1-1.dsc 2dd5a59effa358678724bf25950f7d6b 1972608 science optional konclude_0.6.1.orig.tar.gz 8cdfad9d5968a93d71b38c137684aea6 20616 science optional konclude_0.6.1-1.debian.tar.xz d8356ee0cdf7bff12e86f04bfc358318 1816996 science optional konclude_0.6.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJVXYHWAAoJECx8MUbBoAEhOGIP/3MNvt+t+hBvAIHczG+0dQgt se1lu3jRGIEyhSfeXqd6NlSQyokhOksOkKaF/AZp4OvrkDE6GdwDWs+w6RYzi5Ac eVFTXl5Rn1hovFZUOsQlwrzqX0nxnZaGaTLA5DzNN/8qVy7nuWOH3aXRy/wFCKJC sibsFErig3JfKy2GU0CeUBfFIHxDeUzcEq5i+to/K7I4aSpCQrdpHut4TWNGLPyG wI5jLCELz5TnQBfam3Ocli2oPPza7ZrlTRFh1Oc1PGTDjL+vK9x5O3FMy3KYx3CY IK3oquJsL4aKisaNlIGjUKWV2OxzKk5YCZcT5lHy/GeCDfsyoVZU7VLz8UwreRgm NvnDHLspnnrC0T9g1UA08I4n1+X+mhL1teFGaPCOAypvpDVtFQJByPACcUUzq1an UOYY1BkHtmGbdJJjmeLuyTTyHOn2PuD7DryiE7/pHLK2jJaF4DEj8dp88I5lrZGa RS4kaWnHkQ5yHYmIW6nMpVBJNPE3hlCtVYbnHhFDJHt9fAszlQFaFxM0jGYJECaH qLaLcrbQGtLbK7d72L7c4/wbrQnCzd/wBM2rjgQu3FoA5r9J+CoNMCPMc4SuzohQ xhA8VRstquFAJhipecfgAg+VrANl95B+ZH69M24jgXdzrRulaksQLqa35sx3mQsS 8yIhHJzHi2mX8fCC8MM1 =IpIh -----END PGP SIGNATURE-----