diff options
author | Efraim Flashner <[email protected]> | 2024-02-25 10:57:02 +0200 |
---|---|---|
committer | Efraim Flashner <[email protected]> | 2024-02-25 10:57:02 +0200 |
commit | 0ae4b8c42aaa10a23643dd22d266ad38d44569f3 (patch) | |
tree | 50f18e12e01b8ba61b279280036b1fd69da7e77c /gnu/packages/patches/agda-libdirs-env-variable.patch | |
parent | 0da09b370cc48ac1c090d7a6f5823186534a96d0 (diff) |
gnu: python-databind-core: Allow newer versions of typing-extensions.
* gnu/packages/python-xyz.scm (python-databind-core)[source]: Add
snippet to allow newer versions of python-typing-extensions.
Change-Id: I8515c4767d6241542a53746f3654074010ab25f1
Diffstat (limited to 'gnu/packages/patches/agda-libdirs-env-variable.patch')
0 files changed, 0 insertions, 0 deletions