Warning! Fedora moves to a new datacenter, which may result in some instabilities in Copr. The expected outage is expected to happen from 30th June to 1st July. For more information please refer to this ticket.
Copr Build System
log in | OIDC login | gssapi-login | sign up
  • Search by user name
  • Search by group name
  • Search by project name
  • Search by package name
  • Searching documentation
  1. Home
  2. matthewfluet
User Image

Matthewfluet's Profile

matthewfluet (fas) | Fedora badges

Matthewfluet's Projects

matthewfluet/MLton

MLton is a whole-program optimizing compiler for Standard ML. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler. http://github.com/MatthewFluet/mlton-copr
  • Fedora rawhide : i386, x86_64

News - Read All

Published:

Author:

Published:

Author:

Task Queue

11 Build Batches 0 Importing 28 Pending 8 Starting 97 Running Running tasks during last 24 hours:

Recent Builds - View All

buildtag

Project: @copr/copr-ping

Build: 9205820

State: succeeded

Finished: a minute ago

thunderbird-nightly

Project: proletarius101/thunderbird-nightly

Build: 9205823

State: failed

Finished: a minute ago

rust-libbpf-cargo

Project: tstellar/clang-fedora-centos-testing

Build: 9204824

State: succeeded

Finished: 2 minutes ago

sssd

Project: @sssd/pr8009

Build: 9205808

State: succeeded

Finished: 3 minutes ago

Contact us

  • Fedora Build System on Matrix

Copr Project

  • Project Homepage
  • User Documentation
  • API Documentation
  • Report a Bug
  • Report a security issue
  • Known Issues
  • FAQ

Site Navigation

  • Home
  • Task Queue
  • API
  • GDPR
  • RSS
  • Database Dump
  • Storage statistics

Powered by

  • Python
  • PatternFly
  • Dist Git
  • Resalloc

Sponsored by

  • Red Hat
  • Fedora
  • Amazon Web Services
  • IBM
  • Oregon State University