Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 276318 - dev-lang/xsb-3.2 cannot be fetched
Summary: dev-lang/xsb-3.2 cannot be fetched
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: x86 Linux
: High normal (vote)
Assignee: Gentoo Prolog project
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2009-07-02 23:10 UTC by B. Johnston
Modified: 2009-07-04 20:53 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description B. Johnston 2009-07-02 23:10:45 UTC
When emerging the new version of dev-lang/xsb-3.2, it fails because the fetched file size does not match expected. I believe this is due to the current sourceforge repository does not yet contain version 3.2 on it, which is available from: http://xsb.sourceforge.net/downloads/XSB.tar.gz



Reproducible: Always

Steps to Reproduce:
1. emerge -1av =dev-lang/xsb-3.2

Actual Results:  
Location: http://sourceforge.net/projects/xsb/files/ [following]
--18:04:59--  http://sourceforge.net/projects/xsb/files/
           => `.../XSB.tar.gz'
.....
Connecting to sourceforge.net|216.34.181.60|:80... connected.
HTTP request sent, awaiting response... 200 OK
('Filesize does not match recorded size', 21653L, 10808490)
!!! Fetched file: XSB.tar.gz VERIFY FAILED!
!!! Reason: Filesize does not match recorded size
!!! Got:      21653
!!! Expected: 10808490
!!! Couldn't download 'XSB.tar.gz'. Aborting.
 * Fetch failed for 'dev-lang/xsb-3.2', Log file:
 *  '/var/tmp/portage/dev-lang/xsb-3.2/temp/build.log'
Comment 1 Keri Harris gentoo-dev 2009-07-04 20:53:08 UTC
Fixed in CVS. Thanks for reporting this.