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

Queue position: None

sci-mathematics/isabelle

Maintainers

Mark Wright <gienah@gentoo.org>

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

Q&A
euscan log

Date: Sept. 14, 2019, 1:59 a.m.

 * SRC_URI is 'http://isabelle.in.tum.de/dist/contrib/isabelle_fonts-20160830.tar.gz'
 * Url doesn't seems to depend on version: 2016.1 not found in http://isabelle.in.tum.de/dist/contrib/isabelle_fonts-20160830.tar.gz
 * SRC_URI is 'https://dev.gentoo.org/~gienah/snapshots/csdp-isabelle-component-6.x.tar.gz'
 * Url doesn't seems to depend on version: 2016.1 not found in https://dev.gentoo.org/~gienah/snapshots/csdp-isabelle-component-6.x.tar.gz
 * SRC_URI is 'http://isabelle.in.tum.de/dist/contrib/bash_process-1.2.1.tar.gz'
 * Url doesn't seems to depend on version: 2016.1 not found in http://isabelle.in.tum.de/dist/contrib/bash_process-1.2.1.tar.gz
 * SRC_URI is 'http://isabelle.in.tum.de/components/jortho-1.0-2.tar.gz'
 * Url doesn't seems to depend on version: 2016.1 not found in http://isabelle.in.tum.de/components/jortho-1.0-2.tar.gz
 * SRC_URI is 'http://isabelle.in.tum.de/website-Isabelle2016-1/dist/Isabelle2016-1.tar.gz'
 * Url doesn't seems to depend on version: 2016.1 not found in http://isabelle.in.tum.de/website-Isabelle2016-1/dist/Isabelle2016-1.tar.gz
 * SRC_URI is 'http://isabelle.in.tum.de/dist/contrib/ssh-java-20161009.tar.gz'
 * Url doesn't seems to depend on version: 2016.1 not found in http://isabelle.in.tum.de/dist/contrib/ssh-java-20161009.tar.gz
 * SRC_URI is 'http://isabelle.in.tum.de/dist/contrib/jfreechart-1.0.14-1.tar.gz'
 * Url doesn't seems to depend on version: 2016.1 not found in http://isabelle.in.tum.de/dist/contrib/jfreechart-1.0.14-1.tar.gz
 * SRC_URI is 'https://dev.gentoo.org/~gienah/snapshots/polyml-isabelle-component-5.6-1.tar.gz'
 * Url doesn't seems to depend on version: 2016.1 not found in https://dev.gentoo.org/~gienah/snapshots/polyml-isabelle-component-5.6-1.tar.gz
 * SRC_URI is 'https://dev.gentoo.org/~gienah/snapshots/xz-java-isabelle-component-1.5.tar.gz'
 * Url doesn't seems to depend on version: 2016.1 not found in https://dev.gentoo.org/~gienah/snapshots/xz-java-isabelle-component-1.5.tar.gz
 * SRC_URI is 'http://isabelle.in.tum.de/components/jedit_build-20161024.tar.gz'
 * Url doesn't seems to depend on version: 2016.1 not found in http://isabelle.in.tum.de/components/jedit_build-20161024.tar.gz