Bug 95174

Summary: Missing codepoints U+2113, U+2983 and U+2984 in DejaVu Sans Mono
Product: DejaVu Reporter: Andrés Sicard-Ramírez <asr>
Component: Mono SansAssignee: Deja Vu bugs <dejavu-bugs>
Status: NEW --- QA Contact:
Severity: normal    
Priority: medium    
Version: unspecified   
Hardware: Other   
OS: All   
Whiteboard:
i915 platform: i915 features:

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.