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 Rawhide 1.0.1-17.20190602git9577782.fc35 -
Fedora 35 1.0.1-17.20190602git9577782.fc35 -
Fedora 34 1.0.1-16.20190602git9577782.fc34 -
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