[DejaVu-bugs] [Bug 69233] New: Missing codepoints in DejaVu Sans Mono used by Agda standard library

[bugzilla-daemon at freedesktop.org]

https://bugs.freedesktop.org/show_bug.cgi?id=69233

          Priority: medium
            Bug ID: 69233
          Assignee: dejavu-bugs at lists.freedesktop.org
           Summary: Missing codepoints in DejaVu Sans Mono used by Agda
                    standard library
          Severity: normal
    Classification: Unclassified
                OS: All
          Reporter: andres.sicard.ramirez at gmail.com
          Hardware: Other
            Status: NEW
           Version: unspecified
         Component: Mono Sans
           Product: DejaVu

>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.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.freedesktop.org/archives/dejavu-bugs/attachments/20130911/a4004b0c/attachment.html>