Package Details: c0 1:553-1

Git Clone URL: https://aur.archlinux.org/c0.git (read-only, click to copy)
Package Base: c0
Description: A small safe subset of the C programming language, augmented with contracts
Upstream URL: http://c0.cs.cmu.edu
Licenses: GPL3
Provides: cc0
Submitter: derektbrown
Maintainer: kopecs
Last Packager: kopecs
Votes: 4
Popularity: 0.000000
First Submitted: 2015-08-31 21:06 (UTC)
Last Updated: 2021-08-16 23:29 (UTC)

Required by (0)

Sources (1)

Latest Comments

derektbrown commented on 2015-08-31 21:24 (UTC)

To make changes or update the package, submit an issue or a pull request on GitHub: https://github.com/DerekTBrown/arch-c0