[Agda] upgrading from 2.4.* to 2.5.1.1 (agda2-include-dirs problem)

Nils Anders Danielsson nad at cse.gu.se
Fri Oct 21 09:28:43 CEST 2016

Previous message: [Agda] upgrading from 2.4.* to 2.5.1.1 (agda2-include-dirs problem)
Next message: [Agda] <Programming> 2017: Call for papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2016-10-20 23:17, Jacques Carette wrote:
> Done.  Pull request #2274.

Thanks!

-- 
/NAD

Previous message: [Agda] upgrading from 2.4.* to 2.5.1.1 (agda2-include-dirs problem)
Next message: [Agda] <Programming> 2017: Call for papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list