@@ -41,6 +41,7 @@
;;; Copyright © 2022 David Elsing <david.elsing@posteo.net>
;;; Copyright © 2022 Sharlatan Hellseher <sharlatanus@gmail.com>
;;; Copyright © 2022 jgart <jgart@dismail.de>
+;;; Copyright © 2022 Giacomo Leidi <goodoldpaul@autistici.org>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -2017,6 +2018,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")