diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2022-12-11 15:01:19 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-12-12 14:37:03 +0100 |
| commit | 49ec1fbc8f0872241bfff1827bd9b47455b0980c (patch) | |
| tree | ca9e80ebc1f4e74f1d645d2bb93b917bd0b366e6 /gnu/packages/agda.scm | |
| parent | be9e8c3963b45c674a529c7461a4e7933c3efd93 (diff) | |
gnu: Add python-flask-jwt.
* gnu/packages/python-web.scm (python-flask-jwt): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions