Package Details: c0-bin 0.771-1

Git Clone URL: https://aur.archlinux.org/c0-bin.git (read-only, click to copy)
Package Base: c0-bin
Description: A small safe subset of the C programming language, augmented with contracts
Upstream URL: http://c0.cs.cmu.edu
Licenses: MIT
Provides: cc0
Submitter: kopecs
Maintainer: kopecs
Last Packager: kopecs
Votes: 1
Popularity: 0.000000
First Submitted: 2021-07-10 23:34 (UTC)
Last Updated: 2021-07-10 23:34 (UTC)

Required by (0)

Sources (2)