diff options
| author | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-10-15 15:24:44 +0100 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-10-15 15:24:44 +0100 |
| commit | a488227e5a7c88491f67570a7fc06b285fbe7843 (patch) | |
| tree | 2eb8fe7c718a942a9b2514f1b1e4fe09c7dbb74f | |
| parent | 4c88f358cecdb11cdeade27e25415fd2798ec20f (diff) | |
gnu: Add python-dpcontracts.
* gnu/packages/python-check.scm (python-dpcontracts): New variable.
Change-Id: Iaaf6aedfd1e4f1f853fe70cc821edcaa805b9dbd
| -rw-r--r-- | gnu/packages/python-check.scm | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gnu/packages/python-check.scm b/gnu/packages/python-check.scm index fbd3712a79..da92c7a4d1 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") |
