Bug 69233

Summary:	Missing codepoints in DejaVu Sans Mono used by Agda standard library
Product:	DejaVu	Reporter:	Andrés Sicard-Ramírez <asr>
Component:	Mono Sans	Assignee:	Deja Vu bugs <dejavu-bugs>
Status:	RESOLVED FIXED	QA Contact:
Severity:	normal
Priority:	medium
Version:	unspecified
Hardware:	Other
OS:	All
Whiteboard:
i915 platform:		i915 features:

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.