Fedora Packages

golang-github-lpabon-godbc-devel Subpackage of golang-github-lpabon-godbc

Design by contract for Go

Design by Contract is a programming methodology which binds the caller and the function called to a contract. The contract is represented using Hoare Triple: {P} C {Q} where {P} is the precondition before executing command C, and {Q} is the postcondition. This package contains the source code needed for building packages that reference the following Go import paths: – github.com/lpabon/godbc

Releases Overview

Release Stable Testing
Fedora 37 1.0.1-19.20190602git9577782.fc37 -
File a new bug report »
Package Info

You can contact the maintainers of this package via email at golang-github-lpabon-godbc dash maintainers at fedoraproject dot org.



Sources on Pagure