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
- Upstream: https://github.com/lpabon/godbc
- License(s): ASL 2.0
- Maintainer: lpabon
You can contact the maintainers of this package via email at
golang-github-lpabon-godbc dash maintainers at fedoraproject dot org.
Sources on Pagure