From a488227e5a7c88491f67570a7fc06b285fbe7843 Mon Sep 17 00:00:00 2001 From: Sharlatan Hellseher Date: Wed, 15 Oct 2025 15:24:44 +0100 Subject: [PATCH] gnu: Add python-dpcontracts. * gnu/packages/python-check.scm (python-dpcontracts): New variable. Change-Id: Iaaf6aedfd1e4f1f853fe70cc821edcaa805b9dbd --- gnu/packages/python-check.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm index fbd3712a79819ce25643554470fd6ac47208b440..da92c7a4d12efcb220b869f942d4de0167b0c40f 100644 --- a/gnu/packages/python-check.scm +++ b/gnu/packages/python-check.scm @@ -699,6 +699,31 @@ cases.") text styles of documentation.") (license license:asl2.0))) +(define-public python-dpcontracts + (package + (name "python-dpcontracts") + (version "0.6.0") + (source + (origin + (method url-fetch) + (uri (pypi-uri "dpcontracts" version)) + (sha256 + (base32 "0ji38afb5kb52rrjhcqklqvabxxb1lbl32vr7d94iamy2qgxzybc")))) + (build-system pyproject-build-system) + (arguments + (list #:tests? #f)) ;no tests + (native-inputs (list python-setuptools)) + (home-page "https://github.com/deadpixi/contracts") + (synopsis "Implementation of contracts for Python") + (description + "This package provides a simple implementation of contracts for Python. +Contracts are a debugging and verification tool. They are declarative +statements about what states a program must be in to be considered \"correct\" +at runtime. They are similar to assertions, and are verified automatically at +various well-defined points in the program. Contracts can be specified on +functions and on classes.") + (license license:lgpl3+))) + (define-public python-eradicate (package (name "python-eradicate")