A prettyprinter of Copilot Specifications
18.43 KB
built 2026-10-13 23:48:34 GMT
Description
A prettyprinter of Copilot specifications.
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
9 totalRequires7
- ghc-Cabal-devel
- ghc-base-devel
- ghc-copilot-core-devel
- ghc-pretty-devel
- ghc-rpm-macros
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
Provides2
- ghc-copilot-prettyprinter = 4.5.1-2.fc45
- ghc-copilot-prettyprinter-devel = 4.5.1-2.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
2Name  |
Size |
|---|---|
| copilot-prettyprinter-4.5.1.tar.gz | 5.66 KB |
| ghc-copilot-prettyprinter.spec | 4.34 KB |
Files 1–2 of 2
Component of
buildroots that installed this RPMNo Buildroots