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

ghc-copilot-prettyprinter-4.5.1-2.fc45

complete
A prettyprinter of Copilot Specifications built by guoguo completed Tue, 13 Oct 2026 23:49:21 UTC
Task 25925

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

RPMs

4 files, 3 arches
src
  • ghc-copilot-prettyprinter-4.5.1-2.fc45.src.rpm 18.43 KB info · download
noarch
  • ghc-copilot-prettyprinter-doc-4.5.1-2.fc45.noarch.rpm 48.01 KB info · download
riscv64
  • ghc-copilot-prettyprinter-4.5.1-2.fc45.riscv64.rpm 35.43 KB info · download
  • ghc-copilot-prettyprinter-devel-4.5.1-2.fc45.riscv64.rpm 70.65 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-prettyprinter-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-prettyprinter-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

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