-----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: Євгеній Мещеряков <eugen@debian.org> Changed-By: Євгеній Мещеряков <eugen@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-----
