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 63 Starting 117 Running

Recent Builds - View All

python-flake8-quotes

Project: thrnciar/pytest-8.2.2

Build: 9133204

State: succeeded

Finished: 2 minutes ago

python-kdcproxy

Project: thrnciar/pytest-8.3.1

Build: 9133240

State: succeeded

Finished: 2 minutes ago

python-flake8-class-newline

Project: @python/python3.14-b1

Build: 9133195

State: succeeded

Finished: 2 minutes ago

python-debianbts

Project: thrnciar/pytest-8.2.2

Build: 9133165

State: succeeded

Finished: 2 minutes ago