Sat, 07 Nov 2026 20:30:01 UTC Log in

ghc-copilot-c99-4.5.1-2.fc45

complete
A compiler for Copilot targeting C99 built by guoguo completed Tue, 13 Oct 2026 23:49:20 UTC
Task 25922

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>.

RPMs

4 files, 3 arches
src
  • ghc-copilot-c99-4.5.1-2.fc45.src.rpm 37.75 KB info · download
noarch
  • ghc-copilot-c99-doc-4.5.1-2.fc45.noarch.rpm 75.39 KB info · download
riscv64
  • ghc-copilot-c99-4.5.1-2.fc45.riscv64.rpm 52.15 KB info · download
  • ghc-copilot-c99-devel-4.5.1-2.fc45.riscv64.rpm 110.31 KB info · download

Logs

riscv64

Changelog

* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.5.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild

* Mon Jan 26 2026 Jens Petersen <petersen@redhat.com> - 4.5.1-1
- https://hackage.haskell.org/package/copilot-c99-4.5.1/changelog

* Mon Jan 26 2026 Jens Petersen <petersen@redhat.com> - 4.1-5
- refresh to cabal-rpm-2.3.2

* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.1-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild

* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild

* Mon Apr 07 2025 Jens Petersen <petersen@redhat.com> - 4.1-2
- Rebuild

* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 4.1-1
- https://hackage.haskell.org/package/copilot-c99-4.1/changelog

* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 3.19.1-4
- refresh to cabal-rpm-2.3.0

* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 3.19.1-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild

* Sat Aug 31 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-1
- spec file generated by cabal-rpm-2.2.1