Tue, 26 Nov 2024 03:00:35 UTC | login

Information for RPM ghc-copilot-c99-3.19.1-2.fc41.src.rpm

ID1469253
Nameghc-copilot-c99
Version3.19.1
Release2.fc41
Epoch
Archsrc
SummaryA compiler for Copilot targeting C99
DescriptionThis 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>.
Build Time2024-10-26 14:48:39 GMT
Size34.51 KB
ef2bbe2bb580e29f5e9066f63f74707f
LicenseBSD-3-Clause
Buildrootf41-build-858724-168433
Provides
ghc-copilot-c99 = 3.19.1-2.fc41
ghc-copilot-c99-devel = 3.19.1-2.fc41
ghc-copilot-c99-prof = 3.19.1-2.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ghc-Cabal-devel
ghc-base-devel
ghc-base-prof
ghc-copilot-core-devel
ghc-copilot-core-prof
ghc-directory-devel
ghc-directory-prof
ghc-filepath-devel
ghc-filepath-prof
ghc-language-c99-devel
ghc-language-c99-prof
ghc-language-c99-simple-devel
ghc-language-c99-simple-prof
ghc-mtl-devel
ghc-mtl-prof
ghc-pretty-devel
ghc-pretty-prof
ghc-rpm-macros
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 2 of 2
Name ascending sort Size
copilot-c99-3.19.1.tar.gz22.87 KB
ghc-copilot-c99.spec3.67 KB
Component of No Buildroots