petersen

Joined a year ago (fas)

Activity
Projects 367
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/bluetile
The bluetile 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/eb
The eb rpms
rpms/emacs-magit
The emacs-magit rpms
rpms/emacspeak
The emacspeak rpms
rpms/flim
The flim rpms
rpms/gettext
The gettext rpms
rpms/gettext-commons
The gettext-commons 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-pretty
The ghc-aeson-pretty rpms
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-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-basement
The ghc-basement package
rpms/ghc-base-unicode-symbols
The ghc-base-unicode-symbols rpms
rpms/ghc-binary
The ghc-binary rpms
rpms/ghc-binary-shared
The ghc-binary-shared rpms
rpms/ghc-blaze-builder
The ghc-blaze-builder rpms
rpms/ghc-blaze-builder-conduit
The ghc-blaze-builder-conduit rpms
rpms/ghc-blaze-builder-enumerator
The ghc-blaze-builder-enumerator rpms
rpms/ghc-blaze-html
The ghc-blaze-html rpms
rpms/ghc-blaze-markup
The ghc-blaze-markup rpms
rpms/ghc-blaze-textual
The ghc-blaze-textual rpms
Forks 1
forks/petersen/rpms/gnome-themes-standard
The gnome-themes-standard rpms