Bug#1027713: RM: curry-tools -- ROM; Debian packaging not supported upstream anymore

[Mike Gabriel]

Package: ftp.debian.org
Severity: normal

Upstream of curry-tools is not interested in having curry-tools in Debian, 
anymore.

Thus, please remove the src:pkg curry-tools from testing/unstable. Thanks.

Mike