Will Dietz 4d82af0250 inter-ui: 3.1 -> 3.3 (#57605) ... FWIW new name but not sure worth renaming attribute (to 'inter' or maybe 'inter-font'?) https://github.com/rsms/inter/releases/tag/v3.3 https://github.com/rsms/inter/releases/tag/v3.2		2019-03-13 23:59:03 +01:00
..
default.nix	inter-ui: 3.1 -> 3.3 (#57605)	2019-03-13 23:59:03 +01:00