Search Criteria
Package Details: ocaml-cil-git r4768.673aa00b-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/ocaml-cil-git.git (read-only, click to copy) |
|---|---|
| Package Base: | ocaml-cil-git |
| Description: | C Intermediate Language CIL is a front-end for the C programming language that facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. |
| Upstream URL: | https://goblint.github.io/cil/ |
| Licenses: | GPL |
| Conflicts: | ocaml-cil |
| Provides: | ocaml-cil |
| Submitter: | EDEADLINK |
| Maintainer: | None |
| Last Packager: | EDEADLINK |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2022-11-04 16:11 (UTC) |
| Last Updated: | 2022-11-04 16:11 (UTC) |
Dependencies (9)
- ocaml (ocaml-gitAUR)
- ocaml-ppx_deriving_yojson-gitAUR
- ocaml-stdlib-shims
- ocaml-zarith
- cppoAUR (make)
- dune (make)
- git (git-gitAUR, git-glAUR) (make)
- lib32-glibc (lib32-glibc-gitAUR, lib32-glibc-eacAUR) (make)
- perl (perl-gitAUR) (make)