@@ -43,6 +43,7 @@
;;; Copyright © 2022 jgart <jgart@dismail.de>
;;; Copyright © 2023 Luis Felipe López Acevedo <luis.felipe.la@protonmail.com>
;;; Copyright © 2023 Timo Wilken <guix@twilken.net>
+;;; Copyright © 2023 Giacomo Leidi <goodoldpaul@autistici.org>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -2079,6 +2080,19 @@ (define-public python-coverage
executed.")
(license license:bsd-3)))
+;; TODO: This can be removed after staging is merged.
+(define-public python-coverage-5.5
+ (package
+ (inherit python-coverage)
+ (version "5.5")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (pypi-uri "coverage" version))
+ (sha256
+ (base32
+ "0b112ly7vvplvm9l411aqknxhr7fzfyp28xhflhkcx78l3lqzrzb"))))))
+
(define-public python-pytest-asyncio
(package
(name "python-pytest-asyncio")