|
From: | John Soo |
Subject: | [bug#37038] [PATCH] Add Cedille. |
Date: | Thu, 15 Aug 2019 16:07:49 +0000 |
0001-gnu-Add-agda-ial.patch
Description: Text Data
0002-gnu-Add-cedille.patch
Description: Text Data
[Prev in Thread] | Current Thread | [Next in Thread] |