<html>
<head>
<base href="https://bugs.freedesktop.org/" />
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Priority</th>
<td>medium
</td>
</tr>
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW --- - Missing codepoints in DejaVu Sans Mono used by Agda standard library"
href="https://bugs.freedesktop.org/show_bug.cgi?id=69233">69233</a>
</td>
</tr>
<tr>
<th>Assignee</th>
<td>dejavu-bugs@lists.freedesktop.org
</td>
</tr>
<tr>
<th>Summary</th>
<td>Missing codepoints in DejaVu Sans Mono used by Agda standard library
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr>
<tr>
<th>OS</th>
<td>All
</td>
</tr>
<tr>
<th>Reporter</th>
<td>andres.sicard.ramirez@gmail.com
</td>
</tr>
<tr>
<th>Hardware</th>
<td>Other
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Version</th>
<td>unspecified
</td>
</tr>
<tr>
<th>Component</th>
<td>Mono Sans
</td>
</tr>
<tr>
<th>Product</th>
<td>DejaVu
</td>
</tr></table>
<p>
<div>
<pre>From Agda standard library
(<a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary</a>)
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.</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are the assignee for the bug.</li>
</ul>
</body>
</html>