petersen

Jens Petersen • Joined 6 years ago • (fas)

Packages

457 Packages
rpms/Agda
The Agda rpms
rpms/Agda-stdlib
The Agda-stdlib rpms
rpms/alex
The alex rpms
rpms/bibutils
The bibutils rpms
rpms/bitmap-fonts
The bitmap-fonts rpms
rpms/cab
The cab rpms
rpms/cabal-dev
The cabal-dev rpms
rpms/cabal-install
The cabal-install rpms
rpms/cabal-rpm
The cabal-rpm rpms
rpms/cmark
The cmark rpms
rpms/cpphs
The cpphs rpms
rpms/culmus-fonts
The culmus-fonts rpms
rpms/darcs
The darcs rpms
rpms/dhall
The dhall package
rpms/dhall-json
The dhall-json package
rpms/dl-fedora
The dl-fedora package
rpms/eb
The eb rpms
rpms/emacs-magit
The emacs-magit rpms
rpms/emacspeak
The emacspeak rpms
container/fedora-toolbox
The fedora-toolbox package
rpms/flim
The flim rpms
rpms/gettext
The gettext rpms
rpms/ghc
The ghc rpms
modules/ghc
Automatically requested module for rpms/ghc:8.4.
rpms/ghc-aeson
The ghc-aeson rpms
rpms/ghc-aeson-better-errors
The ghc-aeson-better-errors package
rpms/ghc-aeson-pretty
The ghc-aeson-pretty rpms
rpms/ghc-aeson-yaml
The ghc-aeson-yaml package
rpms/ghc-Agda
The ghc-Agda rpms
rpms/ghc-annotated-wl-pprint
The ghc-annotated-wl-pprint package
rpms/ghc-ansi-terminal
The ghc-ansi-terminal rpms
rpms/ghc-ansi-wl-pprint
The ghc-ansi-wl-pprint rpms
rpms/ghc-appar
The ghc-appar package
rpms/ghc-arrows
The ghc-arrows rpms
rpms/ghc-async
The ghc-async rpms
rpms/ghc-atomic-write
The ghc-atomic-write package
rpms/ghc-attoparsec
The ghc-attoparsec rpms
rpms/ghc-attoparsec-conduit
The ghc-attoparsec-conduit rpms
rpms/ghc-attoparsec-enumerator
The ghc-attoparsec-enumerator rpms
rpms/ghc-auto-update
The ghc-auto-update package
rpms/ghc-base16-bytestring
The ghc-base16-bytestring rpms
rpms/ghc-base64-bytestring
The ghc-base64-bytestring rpms
rpms/ghc-base-compat
The ghc-base-compat rpms
rpms/ghc-base-compat-batteries
The ghc-base-compat-batteries package
rpms/ghc-basement
The ghc-basement package
rpms/ghc-base-unicode-symbols
The ghc-base-unicode-symbols rpms
rpms/ghc-basic-prelude
The ghc-basic-prelude package
rpms/ghc-binary
The ghc-binary rpms