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 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

thofmann/tensorflow_c_api

The C api of tensorflow as shared library.
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : 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 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

thofmann/openprs

OpenPRS packages
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : 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 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : 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 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

thofmann/rcll-refbox

This COPR contains the latest RoboCup Logistics Referee Box.
  • Fedora 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : 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 38 : x86_64
  • Fedora 39 : x86_64
  • Fedora 40 : x86_64
  • Fedora rawhide : x86_64

thofmann/pl-7.6.4

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