| Name : golang-github-lpabon-godbc-devel
| |
| Version : 1.0.1
| Vendor : Fedora Project
|
| Release : 16.20190602git9577782.fc34
| Date : 2021-01-26 17:09:36
|
| Group : Unspecified
| Source RPM : golang-github-lpabon-godbc-1.0.1-16.20190602git9577782.fc34.src.rpm
|
| Size : 0.02 MB
| |
| Packager : Fedora Project
| |
| Summary : Design by contract for Go
|
Description :
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
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/x86_64/os/Packages/g |
