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

Queue position: None

dev-lang/teyjus

Description
Higher-order logic programming language Lambda Prolog
Homepage
http://teyjus.cs.umn.edu/
Maintainers

Mark Wright <gienah@gentoo.org>

Q&A
Version history
  • gentoo - dev-lang/teyjus-2.1:0/2.1 [gentoo] - July 7, 2017, 5:06 a.m.
  • gentoo - dev-lang/teyjus-2.0.2:0/2.0.2 [gentoo] - July 7, 2017, 5:03 a.m.
  • gentoo + dev-lang/teyjus-2.1:0/2.1 [gentoo] - Jan. 13, 2017, 4:03 a.m.
  • gentoo + dev-lang/teyjus-2.0.2:0/2.0.2 [gentoo] - April 30, 2014, 7:44 a.m.
euscan log

Date: Oct. 21, 2019, 11:50 a.m.

 * SRC_URI is 'https://github.com/teyjus/teyjus/archive/v2.1.tar.gz'
 * Scanning: https://github.com/teyjus/teyjus/archive/v${PV}.tar.gz
 * Scanning: https://github.com/teyjus/teyjus/archive
 * Generating version from 2.1
 * Brute forcing: https://github.com/teyjus/teyjus/archive/v${PV}.tar.gz
 * Trying: https://github.com/teyjus/teyjus/archive/v2.2.tar.gz ...      [ !! ]
 * Trying: https://github.com/teyjus/teyjus/archive/v2.3.tar.gz ...      [ !! ]
 * Trying: https://github.com/teyjus/teyjus/archive/v2.4.tar.gz ...      [ !! ]
 * Trying: https://github.com/teyjus/teyjus/archive/v3.0.tar.gz ...      [ !! ]
 * Trying: https://github.com/teyjus/teyjus/archive/v4.0.tar.gz ...      [ !! ]
 * Trying: https://github.com/teyjus/teyjus/archive/v5.0.tar.gz ...      [ !! ]