A compiler for Copilot targeting C99
37.75 KB
built 2026-10-13 23:48:28 GMT
Description
This package is a back-end from Copilot to C.
Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
Haskell that compiles into embedded C. Copilot contains an interpreter,
multiple back-end compilers, and other verification tools.
A tutorial, examples, and other information are available at
<https://copilot-language.github.io>.
Dependencies
14 totalRequires12
- ghc-Cabal-devel
- ghc-base-devel
- ghc-copilot-core-devel
- ghc-directory-devel
- ghc-filepath-devel
- ghc-language-c99-devel
- ghc-language-c99-simple-devel
- ghc-mtl-devel
- ghc-pretty-devel
- ghc-rpm-macros
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
Provides2
- ghc-copilot-c99 = 4.5.1-2.fc45
- ghc-copilot-c99-devel = 4.5.1-2.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
2Name  |
Size |
|---|---|
| copilot-c99-4.5.1.tar.gz | 24.71 KB |
| ghc-copilot-c99.spec | 4.76 KB |
Files 1–2 of 2
Component of
buildroots that installed this RPMNo Buildroots