Accepted pakcs 2.0.0-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 12 Dec 2017 13:29:27 +0100
Source: pakcs
Binary: pakcs
Architecture: source
Version: 2.0.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Curry Maintainers <pkg-curry-maintainers@lists.alioth.debian.org>
Changed-By: Mike Gabriel <sunweaver@debian.org>
Description:
pakcs - Portland Aachen Kiel Curry Compiler
Changes:
pakcs (2.0.0-1) unstable; urgency=medium
.
* New upstream release.
* debian/control:
+ Bump versioned B-Ds and Ds (curry-*) to typeclasses supporting versions.
+ Enforce swi-prolog(-nox) (>= 7.4) as B-D and D. Important: PAKCS needs
the same SWI Prolog version at runtime as it had at build time.
+ Set Priority: to optional.
+ Clean-up white-space at EOL.
* debian/pakcs.{install,links}:
+ Adapt to this upstream release.
* debian/rules:
+ Don't clean-up /usr/lib/pakcs/currytools/peval/.gitignore at post-build.
Does not exist since PAKCS 1.15.x anymore.
+ Set permissions a-x on pakcsinitrc.sh (to make lintian happy).
+ Drop many LICENSE files shipped via the curry-tools tarball.
* debian/copyright:
+ Update copyright attributions.
* debian/patches:
+ Rebase/update 2001_run-cleancurry-from-inside-debian-subfolder.patch.
+ Drop 0001-Regression-test-for-CHR-library-removed-since-it-is-.patch.
Applied upstream.
* debian/man/runcurry.1: White-space cleanup at EOL.
* debian/bin/cleancurry:
+ Drop file, use upstream's always-up-to-date version instead of shipping
our own copy.
* lintian: Drop various not-needed lintian overrides.
Checksums-Sha1:
88b4fd412cb469141c3e7fae52719175b9ba8181 2120 pakcs_2.0.0-1.dsc
db4b57534f9c79c1726c01aa93efa5f4e4de13bd 657515 pakcs_2.0.0.orig.tar.gz
dc586140adff89b815744246adad4650c34a7648 10032 pakcs_2.0.0-1.debian.tar.xz
ff3d32be377c6ffa45cd2160cc4b96445510df50 6429 pakcs_2.0.0-1_source.buildinfo
Checksums-Sha256:
1675571d1983ef46b49c9446891acc55d7ac14c3a620b036a957b2b64f8a197d 2120 pakcs_2.0.0-1.dsc
323829db44e1ad6fa3e915b792176122f0c2883c97edf9131b074e1a14841d34 657515 pakcs_2.0.0.orig.tar.gz
3d79e2bbbd1a26fcca833468552d797087b37de1bb74c3486839a8a15660a06a 10032 pakcs_2.0.0-1.debian.tar.xz
b62207b6bb96fe9fa3d3b8c445eef000a04e41adf46684b7cd99bedac7a58571 6429 pakcs_2.0.0-1_source.buildinfo
Files:
309fea04633e53f495841d4ea798f63c 2120 devel optional pakcs_2.0.0-1.dsc
6760aca697637907dfe2ecdcfb794d53 657515 devel optional pakcs_2.0.0.orig.tar.gz
48aef4f6c1a4f43b72b45c9bc6ea1955 10032 devel optional pakcs_2.0.0-1.debian.tar.xz
a2569cd102cc046c759e4e9814dd33b1 6429 devel optional pakcs_2.0.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlowHvwVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsx9FkP/3WvBKlkI8xSKtZ/xX2SQyx9yTJS
SuvnJyw0Ne3TzctQiLV2y3gWo5Y232iAjTWcYfzN9YQ8da0scrNdwli7/trZ27Uj
g3H3cZshvTqd3w8szj/z96jEr32aDXaBfWIUI3SUQf/8oGojrqian0zio9muTe16
blM2MxX0r4+QguEzVHM8eWYc0MoBIkI9ao9REhUuE2YGltWnTjkaajqs1OvhNd/T
yFIlfPdkDlyNk9s0tkkZM2Kd8zqSD9OP1TilXF/PGYwBdIQmV/RGcwTeYbNcC6Ih
GZ5QWZ67/BwIrTqrkr+e9K4rCPt28Q5EuD8GkhLMhbd7WNK4lQbFq2eWcbL9KjCD
AiIy12I39D0Xe5KxGEa4H63ETYEgjfB0Jj64BZINSZtRhvzKKOo3RVPYv7yGwfB4
DcSTkgfI04fao6T7RlNC9DkUg1yhfk/vy93mFUUY8HOeyHxA9aGrDYU1wKxBj6DS
KCeP0uxy83KxjWJd3VHj22Tw+TM848Xkn7loR5qF6eMQTrqvXbxXLnC4Gkuv7LZ2
+19XJNp5i9+RJMoNtYMj4H8/dKG+XX9vDUK4PLuyimMMTzECvsHB3TT1KZjavoNh
jBuTA8dD6OQhwcVFIv9hxALb4oxH8RXzsi1JYZxIeNDnRGXi+mZTf7lxQdhAYIt9
9idm3wEvTvJF6bBX
=i7cD
-----END PGP SIGNATURE-----