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

Queue position: None

dev-ml/lambda-term

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

Date: Jan. 13, 2020, 11:58 a.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 ]