Search Criteria
Package Details: c0-bin 0.771-1
Package Actions
| 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) |
Dependencies (4)
- gcc (gcc-gitAUR, gccrs-gitAUR, gcc11AUR, gcc-snapshotAUR)
- libpng (libpng-gitAUR, libpng-apngAUR)
- ncurses5-compat-libsAUR
- zlib (zlib-ng-compat-gitAUR, zlib-gitAUR, zlib-ng-compat)