Bug#947720: sollya ftbfs with libfplll6

[Sudip Mukherjee]

Hi,

I tried to build this and did not get any failure.

+------------------------------------------------------------------------------+
| Summary                                                                      |
+------------------------------------------------------------------------------+

Build Architecture: amd64
Build Type: full
Build-Space: 163104
Build-Time: 388
Distribution: unstable
Host Architecture: amd64
Install-Time: 244
Job: sollya
Machine Architecture: amd64
Package: sollya
Package-Time: 636
Source-Version: 7.0+ds-3
Space: 163104
Status: successful
Version: 7.0+ds-3
--------------------------------------------------------------------------------

The test has also passed:

Building check029.sh
PASS: check029.sh
Building check030.sh
PASS: check030.sh
Building check031.sh
PASS: check031.sh
Building timecheck.sh
PASS: timecheck.sh
============================================================================
Testsuite summary for sollya 7.0
============================================================================
# TOTAL: 32
# PASS:  32
# SKIP:  0
# XFAIL: 0
# FAIL:  0
# XPASS: 0
# ERROR: 0
============================================================================

Can you please retest and confirm.

--
Regards
Sudip