-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 30 Dec 2015 04:00:32 +0100
Source: swi-prolog
Binary: swi-prolog swi-prolog-nox swi-prolog-x swi-prolog-java swi-prolog-odbc
Architecture: source
Version: 7.2.0-3
Distribution: unstable
Urgency: medium
Maintainer: Євгеній Мещеряков <eu...@debian.org>
Changed-By: Євгеній Мещеряков <eu...@debian.org>
Description:
swi-prolog - ISO/Edinburgh-style Prolog interpreter
swi-prolog-java - Bidirectional interface between SWI-Prolog and Java
swi-prolog-nox - ISO/Edinburgh-style Prolog interpreter (without X support)
swi-prolog-odbc - ODBC library for SWI-Prolog
swi-prolog-x - User interface library for SWI-Prolog (with X support)
Closes: 805123
Changes:
swi-prolog (7.2.0-3) unstable; urgency=medium
.
* Use ppc64le subdirectory for jre libraries on ppc64el, even if online
file list says otherwise... Hopefully closes: #805123
Checksums-Sha1:
1ba9edb64acd162b9817843150dc1341b74fec67 2939 swi-prolog_7.2.0-3.dsc
5cf74c1d1e89a8a1916dc854c046675057b42433 19808 swi-prolog_7.2.0-3.debian.tar.xz
Checksums-Sha256:
bcc798ea1f16315e57529921b218481c4087ebf9cc6648d5bb576ddb0f85811a 2939
swi-prolog_7.2.0-3.dsc
a1c36d95ef56e385c7d6df911c43a4ec072988fb1ac4ab729567391835f5fe90 19808
swi-prolog_7.2.0-3.debian.tar.xz
Files:
bde215b373885939c45c4130a98d4450 2939 interpreters optional
swi-prolog_7.2.0-3.dsc
ca831cb3a51937ce2d077f8c56c40dba 19808 interpreters optional
swi-prolog_7.2.0-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWg0mXAAoJEMFtqOf0Ubk83zYP/iDXRH0+r4LSQ3S6X3LNo0bg
us3reK0V6HTRxe0s1G6Nrhmw6TvlySruWzgIgTPX+u18fQRFEbp0C4RB/wPr1xoH
zuz2jzmfeAdYDAQLwTLsURqq83X3YYCtUSXbFca/laC6uefVUbBradEwX1PV9nzF
s4q0LZMqEMaMYnAi8BpyK/WESgfCj9CZVUklNOoRW5qppCPpkXLs8FF+0a6YAtHT
uibRudNVhQb5WSBS67rBELSm8ciLQLsujiUjay8epJDNG8RQr0bHBbzYW5wJC+g5
EZuyg99a28KU9tT0COMTdNZRz/5XtcosjzccWJphas8TANiQGC8URdfFqG9nLP2p
pzExtbbOdoV2aawrodxPcSzrjF5icodZ1bq2v0rmIJxkJt6JperQ7Od5viM41L+g
XRl7/DdqC62gBNi5e0OyMmui1DlYrACDxfcS3UocctkNhbawufaeeZubkIh99xKl
yTcZfAa0qvq3P6AzcHHQeOU8Eg0pOHRVsDGSB+XI1JVFEKKMWWjCCkk29U3YGiti
BKWugeykm9Nd+vC+BKXS3BBF6IfdZcImemaqsPMID9PKgKTqiU/T+cFgyutPqYJA
5iBzjAlD0khj9taiXOvPUXlTi97u5E4+tcO5B2LNWxwU5hSBFcXt0nANuk7pCSz2
JhmAU+o7b8ifiRY7akmC
=UEiw
-----END PGP SIGNATURE-----
