Back to konclude PTS page

Accepted konclude 0.6.1-1 (source amd64) into unstable, unstable



-----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-----