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

Queue position: None

sci-mathematics/kodkodi

Description
A text front-end for the Kodkod Java library.
Homepage
http://www21.in.tum.de/~blanchet/#software
Maintainers

Mark Wright <gienah@gentoo.org>

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

Q&A
Version history
  • gentoo - sci-mathematics/kodkodi-1.5.2-r1:0/1.5.2 [gentoo] - July 7, 2017, 5:06 a.m.
  • gentoo - sci-mathematics/kodkodi-1.5.2:0/1.5.2 [gentoo] - July 7, 2017, 5:04 a.m.
  • gentoo + sci-mathematics/kodkodi-1.5.2-r1:0/1.5.2 [gentoo] - Jan. 4, 2017, 4:05 a.m.
  • gentoo + sci-mathematics/kodkodi-1.5.2:0/1.5.2 [gentoo] - April 30, 2014, 7:52 a.m.
euscan log

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

 * SRC_URI is 'http://www21.in.tum.de/~blanchet/kodkodi-1.5.2.tgz'
 * Scanning: http://www21.in.tum.de/~blanchet/kodkodi-${PV}.tgz
 * Scanning: http://www21.in.tum.de/~blanchet
 * Generating version from 1.5.2
 * Brute forcing: http://www21.in.tum.de/~blanchet/kodkodi-${PV}.tgz
 * Trying: http://www21.in.tum.de/~blanchet/kodkodi-1.5.3.tgz ...        [ !! ]
 * Trying: http://www21.in.tum.de/~blanchet/kodkodi-1.5.4.tgz ...        [ !! ]
 * Trying: http://www21.in.tum.de/~blanchet/kodkodi-1.5.5.tgz ...        [ !! ]
 * Trying: http://www21.in.tum.de/~blanchet/kodkodi-1.6.0.tgz ...        [ !! ]
 * Trying: http://www21.in.tum.de/~blanchet/kodkodi-1.7.0.tgz ...        [ !! ]
 * Trying: http://www21.in.tum.de/~blanchet/kodkodi-1.8.0.tgz ...        [ !! ]
 * Trying: http://www21.in.tum.de/~blanchet/kodkodi-2.0.0.tgz ...        [ !! ]
 * Trying: http://www21.in.tum.de/~blanchet/kodkodi-3.0.0.tgz ...        [ !! ]
 * Trying: http://www21.in.tum.de/~blanchet/kodkodi-4.0.0.tgz ...        [ !! ]