gnu: Add python-pygdbmi.

* gnu/packages/python-xyz.scm (python-pygdbmi): New variable.

Change-Id: Ide91e2276724fd9b1d1857b504731c66dc84467c
This commit is contained in:
Zheng Junjie 2024-07-05 23:14:50 +08:00
parent a6c7e3efd7
commit 97ac6a4a3e
No known key found for this signature in database
GPG key ID: 3B5AA993E1A2DFF0

View file

@ -91,7 +91,7 @@
;;; Copyright © 2020 Diego N. Barbato <dnbarbato@posteo.de>
;;; Copyright © 2020 Liliana Marie Prikler <liliana.prikler@gmail.com>
;;; Copyright © 2019 Kristian Trandem <kristian@devup.no>
;;; Copyright © 2020, 2021 Zheng Junjie <873216071@qq.com>
;;; Copyright © 2020, 2021, 2024 Zheng Junjie <873216071@qq.com>
;;; Copyright © 2020 EuAndreh <eu@euandre.org>
;;; Copyright © 2021, 2022 Morgan Smith <Morgan.J.Smith@outlook.com>
;;; Copyright © 2021-2024 Sharlatan Hellseher <sharlatanus@gmail.com>
@ -7019,6 +7019,23 @@ (define-public python-doc8
text styles of documentation.")
(license license:asl2.0)))
(define-public python-pygdbmi
(package
(name "python-pygdbmi")
(version "0.11.0.0")
(source
(origin
(method url-fetch)
(uri (pypi-uri "pygdbmi" version))
(sha256
(base32 "1c0z4snkjiyl1iq4m1k6liwg0b4pdv2as4bfyvcm0mpjzki6na3s"))))
(build-system pyproject-build-system)
(home-page "https://github.com/cs01/pygdbmi")
(synopsis "Parse gdb machine interface output with Python")
(description "This package provides a parse gdb machine interface output
with Python.")
(license license:expat)))
(define-public python-pygments
(package
(name "python-pygments")