1. Home
  2. mgrabovs

Mgrabovs's Projects

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 36 : x86_64
  • Fedora 37 : x86_64
  • Fedora 38 : 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 36 : x86_64
  • Fedora 37 : x86_64
  • Fedora 38 : x86_64
  • Fedora rawhide : x86_64

mgrabovs/librelamp-libressl

LibreSSL libraries extracted from the LibreLAMP project. Package with development files as well as a package with libraries for static linking are provided, too.
  • EPEL 7 : x86_64
  • EPEL 8 : x86_64
  • Fedora 36 : x86_64
  • Fedora 37 : x86_64
  • Fedora 38 : 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 36 : x86_64
  • Fedora 37 : x86_64
  • Fedora 38 : x86_64
  • Fedora rawhide : x86_64

News - Read All

Task Queue

47 Build Batches 0 Importing 142 Pending 41 Starting 109 Running

Recent Builds - View All

hotspot

Project: marcdeop/hotspot

Build: 5730232

State: succeeded

Finished: 45 seconds ago

fonttools

Project: @python/python3.12

Build: 5730235

State: succeeded

Finished: a minute ago

python-permedcoe

Project: @copr/PyPI

Build: 5730161

State: succeeded

Finished: a minute ago

cockpit-podman

Project: packit/cockpit-project-cockpit-podman-1232

Build: 5730090

State: succeeded

Finished: 2 minutes ago