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 1 Pending 0 Starting 24 Running

Recent Builds - View All

eduke32

Project: niohiani/MiscellanyMarketPlace

Build: 8558428

State: failed

Finished: a minute ago

eduke32

Project: niohiani/MiscellanyMarketPlace

Build: 8558427

State: succeeded

Finished: a minute ago

eduke32

Project: niohiani/MiscellanyMarketPlace

Build: 8558426

State: failed

Finished: a minute ago

nvidia-340xx-kmod

Project: loise/plasma6-runtime

Build: 8558425

State: failed

Finished: 4 minutes ago