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

Queue position: None

sci-mathematics/nusmv

Maintainers

Robin H. Johnson <robbat2@gentoo.org>

Gentoo Mathematics Project <sci-mathematics@gentoo.org>

Q&A
euscan log

Date: Dec. 18, 2018, 4:47 a.m.

 * SRC_URI is 'http://www.princeton.edu/~chaff/zchaff/zchaff.64bit.2007.3.12.zip'
 * Url doesn't seems to depend on version: 2.6.0 not found in http://www.princeton.edu/~chaff/zchaff/zchaff.64bit.2007.3.12.zip
 * SRC_URI is 'http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz'
 * Scanning: http://nusmv.fbk.eu/distrib/NuSMV-${PV}.tar.gz
 * Scanning: http://nusmv.fbk.eu/distrib
 * Generating version from 2.6.0
 * Brute forcing: http://nusmv.fbk.eu/distrib/NuSMV-${PV}.tar.gz
 * Trying: http://nusmv.fbk.eu/distrib/NuSMV-2.6.1.tar.gz ...            [ !! ]
 * Trying: http://nusmv.fbk.eu/distrib/NuSMV-2.6.2.tar.gz ...            [ !! ]
 * Trying: http://nusmv.fbk.eu/distrib/NuSMV-2.6.3.tar.gz ...            [ !! ]
 * Trying: http://nusmv.fbk.eu/distrib/NuSMV-2.7.0.tar.gz ...            [ !! ]
 * Trying: http://nusmv.fbk.eu/distrib/NuSMV-2.8.0.tar.gz ...            [ !! ]
 * Trying: http://nusmv.fbk.eu/distrib/NuSMV-2.9.0.tar.gz ...            [ !! ]
 * Trying: http://nusmv.fbk.eu/distrib/NuSMV-3.0.0.tar.gz ...            [ !! ]
 * Trying: http://nusmv.fbk.eu/distrib/NuSMV-4.0.0.tar.gz ...            [ !! ]
 * Trying: http://nusmv.fbk.eu/distrib/NuSMV-5.0.0.tar.gz ...            [ !! ]