New Upstream Release - agda

There is configuration for finding an upstream source, but one can not be found.

Upstream version: .

More details

Full run details

A new upstream version is available: 2.6.1

Historical runs