Bug 69233 - Missing codepoints in DejaVu Sans Mono used by Agda standard library
Summary: Missing codepoints in DejaVu Sans Mono used by Agda standard library
Status: RESOLVED FIXED
Alias: None
Product: DejaVu
Classification: Unclassified
Component: Mono Sans (show other bugs)
Version: unspecified
Hardware: Other All
: medium normal
Assignee: Deja Vu bugs
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2013-09-11 16:21 UTC by Andrés Sicard-Ramírez
Modified: 2013-10-03 20:38 UTC (History)
0 users

See Also:
i915 platform:
i915 features:

Attachments

Description Andrés Sicard-Ramírez 2013-09-11 16:21:35 UTC 
From Agda standard library (http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary) the following codepoints are missing in DejaVu Sans Mono v2.34:

U+203F,
U+20A0,
U+220E,
U+2223,
U+228E,
U+2293,
U+2294,
U+22B4,
U+22B8,
U+22C2,
U+22CE,
U+22D0,
U+22C3,
U+27EA,
U+27EB,
U+27F6,
U+2987 and
U+2998.
Comment 1 nocturnaldreamer 2013-09-14 13:07:27 UTC 
U+20A0 ₠ is already available, but since this isn't a mathematical symbol I suspect you meant another code point.
Comment 2 Andrés Sicard-Ramírez 2013-09-14 17:47:23 UTC 
Yeap. I meant U+2A00 ⨀.
Comment 3 nocturnaldreamer 2013-10-03 19:41:55 UTC 
The missing symbols have been added to Mono. The updated files should be available for testing at http://dejavu.sourceforge.net/snapshots/ within 24 hours.
Comment 4 Andrés Sicard-Ramírez 2013-10-03 20:38:34 UTC 
(In reply to comment #3)
> The missing symbols have been added to Mono. The updated files should be
> available for testing at http://dejavu.sourceforge.net/snapshots/ within 24
> hours.

Thanks for fixing the issue! (I tested the patch using the Subversion repository.)

Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.