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

Queue position: None

sci-mathematics/kodkod

Description
a constraint solver for relational logic
Homepage
http://alloy.mit.edu/kodkod/index.html
Maintainers

Mark Wright <gienah@gentoo.org>

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

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

Date: Oct. 5, 2019, 1:09 a.m.

 * SRC_URI is 'https://waf.googlecode.com/files/waf-1.7.16'
 * Url doesn't seems to depend on version: 1.5.2 not found in https://waf.googlecode.com/files/waf-1.7.16
 * SRC_URI is 'http://alloy.mit.edu/kodkod/1.5.2/kodkod-1.5.2.zip'
 * Scanning: http://alloy.mit.edu/kodkod/${PV}/kodkod-${PV}.zip
 * Scanning: http://alloy.mit.edu/kodkod
 * Generating version from 1.5.2
 * Brute forcing: http://alloy.mit.edu/kodkod/${PV}/kodkod-${PV}.zip
 * Trying: http://alloy.mit.edu/kodkod/1.5.3/kodkod-1.5.3.zip ...        [ !! ]
 * Trying: http://alloy.mit.edu/kodkod/1.5.4/kodkod-1.5.4.zip ...        [ !! ]
 * Trying: http://alloy.mit.edu/kodkod/1.5.5/kodkod-1.5.5.zip ...        [ !! ]
 * Trying: http://alloy.mit.edu/kodkod/1.6.0/kodkod-1.6.0.zip ...        [ !! ]
 * Trying: http://alloy.mit.edu/kodkod/1.7.0/kodkod-1.7.0.zip ...        [ !! ]
 * Trying: http://alloy.mit.edu/kodkod/1.8.0/kodkod-1.8.0.zip ...        [ !! ]
 * Trying: http://alloy.mit.edu/kodkod/2.0.0/kodkod-2.0.0.zip ...        [ !! ]
 * Trying: http://alloy.mit.edu/kodkod/3.0.0/kodkod-3.0.0.zip ...        [ !! ]
 * Trying: http://alloy.mit.edu/kodkod/4.0.0/kodkod-4.0.0.zip ...        [ !! ]