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 76 Running

Recent Builds - View All

kglobalacceld

Project: @fedora-llvm-team/fedora-41-clang-21

Build: 8679924

State: succeeded

Finished: 42 seconds ago

wezterm-nightly

Project: wezfurlong/wezterm-nightly

Build: 8681828

State: succeeded

Finished: 54 seconds ago

sgml-common

Project: loise/NoldenOS-10-BaseOS

Build: 8681847

State: failed

Finished: a minute ago

librdkafka

Project: @fedora-llvm-team/fedora-41-clang-21

Build: 8679922

State: succeeded

Finished: 2 minutes ago