Codeblock's Projects


Prometheus exporters that I want packaged but have yet to be. Note that these builds do access the internet at build-time and pull some arbitrary dependencies from systems such as go get.
  • Epel for CentOS 7 : x86_64


Packages that I want on el7 boxes that are only in Fedora, or are significantly newer in Fedora.
  • Epel for CentOS 7 : x86_64


The Swift Programming Language Swift is a high-performance system programming language. It has a clean and modern syntax, offers seamless access to existing C and Objective-C code and frameworks, and is memory safe by default. Although inspired by Objective-C and many other languages, Swift is not itself a C-derived language. As a complete and independent language, Swift packages core features like flow control, data structures, and functions, with high-level constructs like objects, protocols, closures, and generics. Swift embraces modules, eliminating the need for headers and the code duplication they entail.


A newer docker-compose for Fedora 25.


fas3 test builds
  • Epel for CentOS 7 : x86_64


C.A.V.A. is a bar spectrum analyzer for audio using ALSA for input.


Modern Paste + unbundling of submodule dependencies.


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


The Lean theorem prover


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 *)