summaryrefslogtreecommitdiff
path: root/gnu/packages/python-check.scm
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 /gnu/packages/python-check.scm
parent4c88f358cecdb11cdeade27e25415fd2798ec20f (diff)
gnu: Add python-dpcontracts.
* gnu/packages/python-check.scm (python-dpcontracts): New variable. Change-Id: Iaaf6aedfd1e4f1f853fe70cc821edcaa805b9dbd
Diffstat (limited to 'gnu/packages/python-check.scm')
-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 fbd3712a798..da92c7a4d12 100644
--- a/gnu/packages/python-check.scm
+++ b/gnu/packages/python-check.scm
@@ -699,6 +699,31 @@ cases.")
699text styles of documentation.") 699text styles of documentation.")
700 (license license:asl2.0))) 700 (license license:asl2.0)))
701 701
702(define-public python-dpcontracts
703 (package
704 (name "python-dpcontracts")
705 (version "0.6.0")
706 (source
707 (origin
708 (method url-fetch)
709 (uri (pypi-uri "dpcontracts" version))
710 (sha256
711 (base32 "0ji38afb5kb52rrjhcqklqvabxxb1lbl32vr7d94iamy2qgxzybc"))))
712 (build-system pyproject-build-system)
713 (arguments
714 (list #:tests? #f)) ;no tests
715 (native-inputs (list python-setuptools))
716 (home-page "https://github.com/deadpixi/contracts")
717 (synopsis "Implementation of contracts for Python")
718 (description
719 "This package provides a simple implementation of contracts for Python.
720Contracts are a debugging and verification tool. They are declarative
721statements about what states a program must be in to be considered \"correct\"
722at runtime. They are similar to assertions, and are verified automatically at
723various well-defined points in the program. Contracts can be specified on
724functions and on classes.")
725 (license license:lgpl3+)))
726
702(define-public python-eradicate 727(define-public python-eradicate
703 (package 728 (package
704 (name "python-eradicate") 729 (name "python-eradicate")