summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSharlatan Hellseher <sharlatanus@gmail.com>2025-10-15 15:24:44 +0100
committerSharlatan Hellseher <sharlatanus@gmail.com>2025-10-15 15:24:44 +0100
commita488227e5a7c88491f67570a7fc06b285fbe7843 (patch)
tree2eb8fe7c718a942a9b2514f1b1e4fe09c7dbb74f
parent4c88f358cecdb11cdeade27e25415fd2798ec20f (diff)
gnu: Add python-dpcontracts.
* gnu/packages/python-check.scm (python-dpcontracts): New variable. Change-Id: Iaaf6aedfd1e4f1f853fe70cc821edcaa805b9dbd
-rw-r--r--gnu/packages/python-check.scm25
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")