kilianar
7cb9abed68
unicode-paracode: 2.7 -> 2.9
...
https://github.com/garabik/unicode/releases/tag/v2.9
- update unicode data from 13.0.0 to 14.0.0
- add passthru.updateScript
2022-07-15 11:19:33 +02:00
Pavol Rusnak
a6ce00c50c
treewide: remove stdenv where not needed
2021-01-25 18:31:47 +01:00
Profpatsch
4a7f99d55d
treewide: with stdenv.lib; in meta -> with lib;
...
Part of: https://github.com/NixOS/nixpkgs/issues/108938
meta = with stdenv.lib;
is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.
This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.
The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
2021-01-11 10:38:22 +01:00
Frank Doepper
ba600f39d8
unicode: 2.6 -> 2.7
...
upstream:
- add East Asian width
- hack to consider regular expressions ending with `$'
- do not flush stdout
- better upper/lowercase from internal python db
packaging:
- include manual page
- update to unicode-13
2020-06-19 17:44:06 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Frederik Rietdijk
46ec52f329
buildPython*: use pname
2020-03-30 17:07:41 +02:00
Will Dietz
943170898d
unicode-paracode: use unicode 10 -> 11 data
2018-11-15 10:27:32 -06:00
Will Dietz
ebbad6c86d
unicode-paracode: 2.5 -> 2.6
...
https://github.com/garabik/unicode/releases/tag/v2.6
2018-11-15 10:27:30 -06:00
Frank Doepper
e50fdb1c03
devtodo: adjust platforms
...
devtodo: adjust platforms
unicode: adjust platforms
2017-10-08 18:53:28 +02:00
Frank Doepper
12f9b43c16
unicode: change UnicodeData.txt to stable version
...
latest final release of Unicode is 10.0.0. 11.0.0 is not yet released.
2017-10-04 11:21:41 +02:00
Frank Doepper
be1209918b
unicode: init at 2.5
2017-09-28 09:53:41 +02:00
