1. Home
  2. mgrabovs

Mgrabovs's Projects

mgrabovs/HiGHS

HiGHS is a high performance serial and parallel solver for large scale sparse linear optimization problems.
  • EPEL 8 : x86_64
  • EPEL 9 : x86_64
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64
  • Rhel 9 : x86_64

mgrabovs/python-wtforms-sqlalchemy

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

mgrabovs/lean3-community

Lean is at the same time a modern interactive theorem prover/proof assistant for higher-order intuitionistic logic and a dependently typed purely functional programming language. This is the community-maintained 3.x branch of Lean. The official 3.x branch is now end-of-life and not maintained by the original authors anymore.
  • EPEL 8 : x86_64
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

mgrabovs/lean3

Lean is at the same time a modern interactive theorem prover/proof assistant for higher-order intuitionistic logic and a dependently typed purely functional programming language. This is the 3.x branch of Lean which is now officially end-of-life. It is nonetheless packaged since the 4.x branch is still under development and not yet public. For the community-maintained fork, see mgrabovs/lean3-community.
  • Fedora 40 : x86_64
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora rawhide : x86_64

News - Read All

Task Queue

0 Build Batches 0 Importing 0 Pending 0 Starting 73 Running

Recent Builds - View All

libsidplayfp

Project: samoht0/testing

Build: 8921854

State: failed

Finished: 2 minutes ago

buildtag

Project: @copr/copr-ping

Build: 8921853

State: succeeded

Finished: 3 minutes ago

systemd

Project: packit/systemd-systemd-37187

Build: 8921837

State: succeeded

Finished: 8 minutes ago

llvm

Project: @fedora-llvm-team/llvm-snapshots-big-merge-20250419

Build: 8921547

State: succeeded

Finished: 8 minutes ago