1. Home
  2. thofmann

Thofmann's Projects

thofmann/mpfr3

A rebuild of mpfr 3.* for newer Fedora releases. This is useful, e.g., if you want to build for CUDA on Fedora >= 32.
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

thofmann/tensorflow_c_api

The C api of tensorflow as shared library.
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

thofmann/pcl

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.

thofmann/eclipse-clp-6

This COPR contains version 6.x of eclipse-clp.
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

thofmann/openprs

OpenPRS packages
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

thofmann/gologpp

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

thofmann/ros-melodic

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

thofmann/rcll-refbox

This COPR contains the latest RoboCup Logistics Referee Box.
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

thofmann/freeopcua

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

thofmann/pl-7.6.4

A backport of pl-7.6.4 (from Fedora 28) to Fedora 27.

News - Read All

Task Queue

3 Build Batches 0 Importing 4 Pending 4 Starting 66 Running

Recent Builds - View All

rubygem-contracts

Project: mtasaka/rubygems-rebuild

Build: 8883763

State: succeeded

Finished: a minute ago

rubygem-cucumber

Project: mtasaka/rubygems-rebuild

Build: 8883756

State: succeeded

Finished: a minute ago

rubygem-crass

Project: mtasaka/rubygems-rebuild

Build: 8883759

State: succeeded

Finished: a minute ago

rubygem-crack

Project: mtasaka/rubygems-rebuild

Build: 8883760

State: succeeded

Finished: a minute ago