diff options
author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2021-07-29 16:41:35 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-07-29 21:54:55 +0200 |
commit | 1daa66272258231f9fcbd9929ba42c688861b842 (patch) | |
tree | b32b2a07bcdf2c6b18df0f27fd23245e4d542db1 /gnu/ci.scm | |
parent | 065d45e8a1c3af31889df53d6feb49973814009c (diff) |
gnu: Add FP16.
* gnu/packages/patches/fp16-system-libraries.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (fp16): New variable.
Diffstat (limited to 'gnu/ci.scm')
0 files changed, 0 insertions, 0 deletions