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

Queue position: None

dev-ml/lambda-term

Maintainers

Gentoo ML Project <ml@gentoo.org>

Q&A
Upstream versions
Version history
  • upstream + dev-ml/lambda-term-1.13 [<upstream>] - June 4, 2018, 1:03 p.m.
euscan log

Date: Oct. 18, 2019, 12:27 p.m.

 * SRC_URI is 'https://github.com/diml/lambda-term/archive/1.11.tar.gz'
 * Scanning: https://github.com/diml/lambda-term/archive/${PV}.tar.gz
 * Scanning: https://github.com/diml/lambda-term/archive
 * Generating version from 1.11
 * Brute forcing: https://github.com/diml/lambda-term/archive/${PV}.tar.gz
 * Trying: https://github.com/diml/lambda-term/archive/1.12.tar.gz ...   [ !! ]
 * Trying: https://github.com/diml/lambda-term/archive/1.13.tar.gz ...   [ ok ]