/usr/include/curl/curl.h conflict installing cduce

[Richard Jones <rich@annexia.org>]

Installing cduce from stable at the moment is giving me an error about
the file /usr/include/curl/curl.h, included in both
libcurl3-gnutls-dev and libcurl3-dev.  Is this a bug or am I missing
something?

Rich.

Reading Package Lists... Done
Building Dependency Tree... Done
Correcting dependencies... Done
The following extra packages will be installed:
  libcurl-ocaml-dev libcurl3-gnutls-dev
The following NEW packages will be installed:
  libcurl-ocaml-dev libcurl3-gnutls-dev
0 upgraded, 2 newly installed, 0 to remove and 229 not upgraded.
1 not fully installed or removed.
Need to get 0B/839kB of archives.
After unpacking 2548kB of additional disk space will be used.
Do you want to continue? [Y/n] y
(Reading database ... 54169 files and directories currently installed.)
Unpacking libcurl3-gnutls-dev (from .../libcurl3-gnutls-dev_7.15.5-1_amd64.deb) ...
dpkg: error processing /var/cache/apt/archives/libcurl3-gnutls-dev_7.15.5-1_amd64.deb (--unpack):
 trying to overwrite `/usr/include/curl/curl.h', which is also in package libcurl3-dev
dpkg-deb: subprocess paste killed by signal (Broken pipe)
Selecting previously deselected package libcurl-ocaml-dev.
Unpacking libcurl-ocaml-dev (from .../libcurl-ocaml-dev_0.2.1-7_amd64.deb) ...
Errors were encountered while processing:
 /var/cache/apt/archives/libcurl3-gnutls-dev_7.15.5-1_amd64.deb
E: Sub-process /usr/bin/dpkg returned an error code (1)


-- 
Richard Jones
Red Hat