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

Queue position: None

sci-mathematics/p9m4

Maintainers

Mark Wright <gienah@gentoo.org>

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

Q&A
euscan log

Date: Jan. 11, 2020, 1:19 a.m.

 * SRC_URI is 'https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2'
 * Scanning: https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v${PV}-64bit.patch.bz2
 * Scanning: https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4
 * Generating version from 05
 * Brute forcing: https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v${PV}-64bit.patch.bz2
 * Trying: https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v6-64bit.patch.bz2 ...                           [ !! ]
 * Trying: https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v7-64bit.patch.bz2 ...                           [ !! ]
 * Trying: https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v8-64bit.patch.bz2 ...                           [ !! ]
 * SRC_URI is 'https://www.cs.unm.edu/~mccune/prover9/gui/p9m4-v05.tar.gz'
 * Scanning: https://www.cs.unm.edu/~mccune/prover9/gui/p9m4-v${PV}.tar.gz
 * Scanning: https://www.cs.unm.edu/~mccune/prover9/gui
 * Generating version from 05
 * Brute forcing: https://www.cs.unm.edu/~mccune/prover9/gui/p9m4-v${PV}.tar.gz
 * Trying: https://www.cs.unm.edu/~mccune/prover9/gui/p9m4-v6.tar.gz ... [ !! ]
 * Trying: https://www.cs.unm.edu/~mccune/prover9/gui/p9m4-v7.tar.gz ... [ !! ]
 * Trying: https://www.cs.unm.edu/~mccune/prover9/gui/p9m4-v8.tar.gz ... [ !! ]