1. Home
  2. codeblock

Codeblock's Projects

codeblock/coq-epel

An attempt at building Coq for EPEL
  • EPEL 7 : x86_64

codeblock/lean

The Lean theorem prover

codeblock/ghc-lens-attempt2

A temporary repository for the Haskell lens package (and some related packages and dependencies), until they can be package officially. (* Builds MUST happen in this order, but they can be submitted in groups as separated below: ghc-transformers-compat ghc-base-orphans ghc-tagged ghc-bifunctors ghc-distributive ghc-StateVar ghc-contravariant ghc-comonad ghc-semigroupoids ghc-profunctors ghc-free ghc-adjunctions ghc-kan-extensions ghc-lens ghc-lens-aeson *)

codeblock/stlink

A build of stlink until https://bugzilla.redhat.com/show_bug.cgi?id=1225241 is approved.

codeblock/mod_cloudflare

A build of CloudFlare's mod_cloudflare apache library for EPEL7.
  • EPEL 7 : x86_64

codeblock/noexc

Builds for the Northeast Ohio Experimenter's Club.
  • EPEL 7 : x86_64

codeblock/sbt-extras

paulp's sbt script (https://github.com/paulp/sbt-extras)
  • EPEL 7 : x86_64

codeblock/google-authenticator-el7

EL7 build of google-authenticator
  • EPEL 7 : x86_64

codeblock/duplicity-el7

A build of duplicity for el7.
  • EPEL 7 : x86_64

codeblock/w8upd-doorcgi

This isn't really meant for general use. It is a build of https://github.com/w8upd/door's Haskell code.

News - Read All

Task Queue

0 Build Batches 0 Importing 0 Pending 0 Starting 31 Running

Recent Builds - View All

zed

Project: gloriouseggroll/nobara-42

Build: 8952809

State: succeeded

Finished: 2 minutes ago

cosmic-app-library

Project: ryanabx/cosmic-epoch-tagged

Build: 8952956

State: succeeded

Finished: 4 minutes ago

python-voxelfarm

Project: @copr/PyPI

Build: 8953088

State: failed

Finished: 4 minutes ago

python-neoteroi-mkdocs

Project: @copr/PyPI

Build: 8953087

State: failed

Finished: 4 minutes ago