A refresh request is in progress, please wait...

Queue position: None

dev-lang/maude

Maintainers

Gentoo Science Project <sci@gentoo.org>

Q&A
euscan log

Date: Feb. 14, 2020, 11:22 a.m.

 * SRC_URI is 'https://dev.gentoo.org/~jlec/distfiles/maude-2.6-extras.tar.xz'
 * Url doesn't seems to depend on version: 2.7 not found in https://dev.gentoo.org/~jlec/distfiles/maude-2.6-extras.tar.xz
 * SRC_URI is 'http://maude.cs.illinois.edu/w/images/2/2d/Maude-2.7.tar.gz'
 * Scanning: http://maude.cs.illinois.edu/w/images/2/2d/Maude-${PV}.tar.gz
 * Scanning: http://maude.cs.illinois.edu/w/images/2/2d
 * Generating version from 2.7
 * Brute forcing: http://maude.cs.illinois.edu/w/images/2/2d/Maude-${PV}.tar.gz
 * Trying: http://maude.cs.illinois.edu/w/images/2/2d/Maude-2.8.tar.gz ... [ !! ]
 * Trying: http://maude.cs.illinois.edu/w/images/2/2d/Maude-2.9.tar.gz ... [ !! ]
 * Trying: http://maude.cs.illinois.edu/w/images/2/2d/Maude-2.10.tar.gz ...  [ !! ]
 * Trying: http://maude.cs.illinois.edu/w/images/2/2d/Maude-3.0.tar.gz ... [ !! ]
 * Trying: http://maude.cs.illinois.edu/w/images/2/2d/Maude-4.0.tar.gz ... [ !! ]
 * Trying: http://maude.cs.illinois.edu/w/images/2/2d/Maude-5.0.tar.gz ... [ !! ]