https://bugzilla.redhat.com/show_bug.cgi?id=2308805
Bug ID: 2308805 Summary: Review Request: ghc-copilot-interpreter - Interpreter for Copilot Product: Fedora Version: rawhide Status: NEW Component: Package Review Assignee: nobody@fedoraproject.org Reporter: frank@systemf.dev QA Contact: extras-qa@fedoraproject.org CC: package-review@lists.fedoraproject.org Target Milestone: --- Classification: Fedora
Spec URL: https://fdedden.fedorapeople.org/ghc-copilot-interpreter.spec SRPM URL: https://fdedden.fedorapeople.org/ghc-copilot-interpreter-3.19.1-1.fc41.src.r...
Description: Interpreter 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.
Fedora Account System Username: fdedden
https://bugzilla.redhat.com/show_bug.cgi?id=2308805
--- Comment #1 from Frank Dedden frank@systemf.dev --- This package built on koji: https://koji.fedoraproject.org/koji/taskinfo?taskID=122734567
https://bugzilla.redhat.com/show_bug.cgi?id=2308805
Frank Dedden frank@systemf.dev changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |haskell-devel@lists.fedorap | |roject.org Doc Type|--- |If docs needed, set a value
https://bugzilla.redhat.com/show_bug.cgi?id=2308805
Fedora Review Service fedora-review-bot@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- URL| |https://hackage.haskell.org | |/package/%{pkg_name}
--- Comment #2 from Fedora Review Service fedora-review-bot@fedoraproject.org --- Copr build: https://copr.fedorainfracloud.org/coprs/build/7958359 (failed)
Build log: https://download.copr.fedorainfracloud.org/results/@fedora-review/fedora-rev...
Please make sure the package builds successfully at least for Fedora Rawhide.
- If the build failed for unrelated reasons (e.g. temporary network unavailability), please ignore it. - If the build failed because of missing BuildRequires, please make sure they are listed in the "Depends On" field
--- This comment was created by the fedora-review-service https://github.com/FrostyX/fedora-review-service
If you want to trigger a new Copr build, add a comment containing new Spec and SRPM URLs or [fedora-review-service-build] string.
https://bugzilla.redhat.com/show_bug.cgi?id=2308805
Jens Petersen petersen@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Assignee|nobody@fedoraproject.org |petersen@redhat.com Flags| |fedora-review+ URL|https://hackage.haskell.org |https://hackage.haskell.org |/package/%{pkg_name} |/package/copilot-interprete | |r Status|NEW |POST
--- Comment #3 from Jens Petersen petersen@redhat.com --- - pristine spec file generated with cabal-rpm-2.2.1 - license is BSD3 - compiles and installs - complies with Haskell Packaging Policy
Package is APPROVED
https://bugzilla.redhat.com/show_bug.cgi?id=2308805
Fedora Admin user for bugzilla script actions fedora-admin-xmlrpc@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|POST |RELEASE_PENDING
--- Comment #6 from Fedora Admin user for bugzilla script actions fedora-admin-xmlrpc@fedoraproject.org --- The Pagure repository was created at https://src.fedoraproject.org/rpms/ghc-copilot-interpreter
https://bugzilla.redhat.com/show_bug.cgi?id=2308805
Frank Dedden frank@systemf.dev changed:
What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |NEXTRELEASE Status|RELEASE_PENDING |CLOSED Last Closed| |2024-09-02 12:15:39
package-review@lists.fedoraproject.org
-
bugzilla＠redhat.com