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

Queue position: None

sci-mathematics/otter

Maintainers

Gentoo Science Project <sci@gentoo.org>

Q&A
euscan log

Date: Sept. 22, 2020, 11:46 p.m.

 * SRC_URI is 'http://www.cs.unm.edu/~mccune/otter/otter-3.3.tar.gz'
 * Scanning: http://www.cs.unm.edu/~mccune/otter/otter-${PV}.tar.gz
 * Scanning: http://www.cs.unm.edu/~mccune/otter
 * Generating version from 3.3
 * Brute forcing: http://www.cs.unm.edu/~mccune/otter/otter-${PV}.tar.gz
 * Trying: http://www.cs.unm.edu/~mccune/otter/otter-3.4.tar.gz ...      [ !! ]
 * Trying: http://www.cs.unm.edu/~mccune/otter/otter-3.5.tar.gz ...      [ !! ]
 * Trying: http://www.cs.unm.edu/~mccune/otter/otter-3.6.tar.gz ...      [ !! ]
 * Trying: http://www.cs.unm.edu/~mccune/otter/otter-4.0.tar.gz ...      [ !! ]
 * Trying: http://www.cs.unm.edu/~mccune/otter/otter-5.0.tar.gz ...      [ !! ]
 * Trying: http://www.cs.unm.edu/~mccune/otter/otter-6.0.tar.gz ...      [ !! ]