petersen packages workload configuration

Edit Configuration Configuration
Name
petersen packages
Description
Jens Petersen EPEL packages
maintainer
petersen
Labels
  • eln-extras
Required Packages
  • Agda
  • bench
  • cadical
  • darcs
  • dhall
  • dhall-json
  • dl-fedora
  • dnf-repo
  • duc
  • ghc-Agda-devel
  • ghc-darcs-devel
  • ghc-dhall-devel
  • ghc-dhall-json-devel
  • ghc-idris-devel
  • ghc-pandoc-devel
  • ghc-pandoc-server-devel
  • ghc-patat-devel
  • ghc-ShellCheck-devel
  • ghc-tart-devel
  • ghcid
  • git-annex
  • git-repair
  • hello
  • idris
  • lsfrom
  • nix
  • ostree-pin
  • pandoc-cli
  • patat
  • ShellCheck
  • tart
Packages just for aarch64
  • idris2
  • racket
  • racket-pkgs
Packages just for x86_64
  • idris2
  • racket
  • racket-pkgs

Results
Name Results Status
petersen packages Fedora ELN Extras (backed by rawhide) Success

Page refreshed at 30 July 2026 15:39 UTC.