Search Issues

Search results

Status: Open.

#8666 In agda/agda;

· nad opened

on Aug 17, 2026

·

 

2.9.0

Status: Open.

#8641 In agda/agda;

Status: Open.

#8638 In agda/agda;

Status: Open.

#8633 In agda/agda;

· Soares opened

on Jul 22, 2026

Status: Open.

#8627 In agda/agda;

· lawcho opened

on Jul 13, 2026

·

 

2.9.0

Status: Open.

#8625 In agda/agda;

· msakai opened

on Jul 12, 2026

Status: Open.

#8621 In agda/agda;

Status: Open.

#8618 In agda/agda;

Status: Open.

#8609 In agda/agda;

Status: Open.

#8599 In agda/agda;

Status: Open.

#8597 In agda/agda;

Status: Open.

#8595 In agda/agda;