| Name : golang-github-lpabon-godbc-devel
| |
| Version : 1.0.1
| Vendor : Fedora Project
|
| Release : 19.20190602git9577782.fc37
| Date : 2022-07-21 12:30:15
|
| Group : Unspecified
| Source RPM : golang-github-lpabon-godbc-1.0.1-19.20190602git9577782.fc37.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: /vol/rzm3/linux-fedora-buffet/alt/risc-v/repo/fedora/37/76833/riscv64/Packages/g |
