Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 479994 - [science overlay] sci-mathematics/alt-ergo-0.95: fetching error Filesize does not match recorded size
Summary: [science overlay] sci-mathematics/alt-ergo-0.95: fetching error Filesize does...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Related Packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2013-08-06 22:30 UTC by Anton Kochkov
Modified: 2014-06-16 20:33 UTC (History)
1 user (show)

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


Attachments
Manifest file (Manifest,380 bytes, text/plain)
2013-08-09 21:07 UTC, Anton Kochkov
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Anton Kochkov 2013-08-06 22:30:02 UTC
>>> Emerging (8 of 9) sci-mathematics/alt-ergo-0.95 from science
>>> Downloading 'http://mirror2.corbina.ru/gentoo-distfiles/distfiles/alt-ergo-0.95.tar.gz'
--2013-08-07 02:25:42--  http://mirror2.corbina.ru/gentoo-distfiles/distfiles/alt-ergo-0.95.tar.gz
Resolving mirror2.corbina.ru (mirror2.corbina.ru)... 89.179.179.2
Connecting to mirror2.corbina.ru (mirror2.corbina.ru)|89.179.179.2|:80... connected.
HTTP request sent, awaiting response... 404 Not Found
2013-08-07 02:25:42 ERROR 404: Not Found.

>>> Downloading 'http://alt-ergo.lri.fr/http/alt-ergo-0.95/alt-ergo-0.95.tar.gz'
--2013-08-07 02:25:42--  http://alt-ergo.lri.fr/http/alt-ergo-0.95/alt-ergo-0.95.tar.gz
Resolving alt-ergo.lri.fr (alt-ergo.lri.fr)... 129.175.15.11
Connecting to alt-ergo.lri.fr (alt-ergo.lri.fr)|129.175.15.11|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 237589 (232K) [application/x-gzip]
Saving to: ‘/usr/portage/distfiles/alt-ergo-0.95.tar.gz’

100%[======================================>] 237,589      491KB/s   in 0.5s   

2013-08-07 02:25:42 (491 KB/s) - ‘/usr/portage/distfiles/alt-ergo-0.95.tar.gz’ saved [237589/237589]

!!! Fetched file: alt-ergo-0.95.tar.gz VERIFY FAILED!
!!! Reason: Filesize does not match recorded size
!!! Got:      237589
!!! Expected: 224719
Refetching... File renamed to '/usr/portage/distfiles/alt-ergo-0.95.tar.gz._checksum_failure_.8BnHf4'

!!! Couldn't download 'alt-ergo-0.95.tar.gz'. Aborting.
 * Fetch failed for 'sci-mathematics/alt-ergo-0.95', Log file:
 *  '/var/tmp/portage/sci-mathematics/alt-ergo-0.95/temp/build.log'

>>> Failed to emerge sci-mathematics/alt-ergo-0.95, Log file:

>>>  '/var/tmp/portage/sci-mathematics/alt-ergo-0.95/temp/build.log'

 * Messages for package sci-mathematics/alt-ergo-0.95:

 * Fetch failed for 'sci-mathematics/alt-ergo-0.95', Log file:
 *  '/var/tmp/portage/sci-mathematics/alt-ergo-0.95/temp/build.log'
Comment 1 Anton Kochkov 2013-08-09 21:07:59 UTC
Created attachment 355546 [details]
Manifest file

Attaching fixed Manifest file, with valid checksums of alt-ergo-0.95 source.
Comment 2 Andrew Savchenko gentoo-dev 2013-08-25 02:50:54 UTC
Hello,

I updated alt-ergo to a bugfix release 0.95.1. Old version is removed thus this bug should be fixed.
Comment 3 Jauhien Piatlicki (RETIRED) gentoo-dev 2014-06-15 21:58:23 UTC
@Andrew Savchenko: May be we should mirror sources somewhere, if license allows it, as there are problems again:

> >>> Downloading 'http://alt-ergo.lri.fr/http/alt-ergo-0.95.1/alt-ergo-0.95.1.tar.gz'
> --2014-06-15 23:55:23--  http://alt-ergo.lri.fr/http/alt-ergo-0.95.1/alt-ergo-0.95.1.tar.gz
> Resolving alt-ergo.lri.fr... 129.175.15.11
> Connecting to alt-ergo.lri.fr|129.175.15.11|:80... connected.
> HTTP request sent, awaiting response... 404 Not Found
> 2014-06-15 23:55:24 ERROR 404: Not Found.

It seems, they habe bumped it and the tarball dissapeared.
Comment 4 Andrew Savchenko gentoo-dev 2014-06-16 01:17:08 UTC
It looks like license allows source code redistribution if LICENSE and its notices are kept intact.

Tarball is small and can be placed somewhere on dev.gentoo.org.

If it is desired, I can provide a place on mirror.mephi.ru (we host several FreeSoftware distributions and a couple of megabytes wouldn't be a problem).
Comment 5 Jauhien Piatlicki (RETIRED) gentoo-dev 2014-06-16 07:51:57 UTC
Ok, I'll place it on dev.gentoo.org and bump the package.
Comment 6 Jauhien Piatlicki (RETIRED) gentoo-dev 2014-06-16 10:26:19 UTC
>  16 Jun 2014; Jauhien Piatlicki <jauhien@gentoo.org> -alt-ergo-0.95.1.ebuild,
>  +alt-ergo-0.95.2.ebuild:
>  fix bug #479994: move sources to my dev space
Comment 7 Jauhien Piatlicki (RETIRED) gentoo-dev 2014-06-16 19:43:14 UTC
Andrew or somebody else, please, test it on ppc if you can, as I'm able to test only on amd64 and x86.
Comment 8 Andrew Savchenko gentoo-dev 2014-06-16 20:33:43 UTC
Sorry, can't test on ppc. Probably you should ask an arch team.