Information for RPM ghc-copilot-core-3.19.1-3.fc41.riscv64.rpm
ID | 1468316 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | ghc-copilot-core | ||||||||||||
Version | 3.19.1 | ||||||||||||
Release | 3.fc41 | ||||||||||||
Epoch | |||||||||||||
Arch | riscv64 | ||||||||||||
Summary | An intermediate representation for Copilot | ||||||||||||
Description | Intermediate representation for Copilot. 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>. | ||||||||||||
Build Time | 2024-10-25 12:57:38 GMT | ||||||||||||
Size | 46.20 KB | ||||||||||||
7143598dcac4072326f5b1b341bf0908 | |||||||||||||
License | BSD-3-Clause | ||||||||||||
Buildroot | f41-build-857492-168067 | ||||||||||||
Provides |
|
||||||||||||
Obsoletes | No Obsoletes | ||||||||||||
Conflicts | No Conflicts | ||||||||||||
Requires |
|
||||||||||||
Recommends | No Recommends | ||||||||||||
Suggests | No Suggests | ||||||||||||
Supplements | No Supplements | ||||||||||||
Enhances | No Enhances | ||||||||||||
Files |
|
||||||||||||
Component of | No Buildroots |