Bug 95174 - Missing codepoints U+2113, U+2983 and U+2984 in DejaVu Sans Mono
Summary: Missing codepoints U+2113, U+2983 and U+2984 in DejaVu Sans Mono
Status: NEW
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: 2016-04-27 15:08 UTC by Andrés Sicard-Ramírez
Modified: 2016-04-29 12:37 UTC (History)
0 users

See Also:
i915 platform:
i915 features:

Attachments

Description Andrés Sicard-Ramírez 2016-04-27 15:08:12 UTC 
The codepoints U+2983 and U+2984 are missing from DejaVu Sans Mono v2.35. These codepoints are required when writing programs in Agda.
Comment 1 Andrés Sicard-Ramírez 2016-04-29 12:23:51 UTC 
The codepoints are missing in the master repository (commit  https://github.com/dejavu-fonts/dejavu-fonts/commit/8faf254fa4d74194641494ecc3f1404078269e9d).
Comment 2 Andrés Sicard-Ramírez 2016-04-29 12:37:44 UTC 
The codepoint U+2113 is also missing in the master 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.