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

Queue position: None

sci-mathematics/prover9

Maintainers

Mark Wright <gienah@gentoo.org>

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

Q&A
euscan log

Date: April 7, 2020, 1:16 a.m.

 * SRC_URI is 'https://dev.gentoo.org/~jlec/distfiles/LADR-2009-11A-makefile.patch.xz'
 * Url doesn't seems to depend on version: 2009.11a not found in https://dev.gentoo.org/~jlec/distfiles/LADR-2009-11A-makefile.patch.xz
 * SRC_URI is 'https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz'
 * Url doesn't seems to depend on version: 2009.11a not found in https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz