1. Home
  2. c72578

C72578's Projects

c72578/z3

2020-05-14 Build rpms of Z3 version z3-4.8.8, which include cmake files, so that Z3 can be found using find_package(Z3)
  • Fedora 41 : x86_64
  • Fedora 42 : x86_64
  • Fedora 43 : x86_64
  • Fedora rawhide : x86_64

c72578/cppcheck

Cppcheck builds 2023-09-23, Build packages of cppcheck 2.12.1-1 for F37, F38, F39 and rawhide 2022-08-28, Build packages of cppcheck 2.9-1 for F35, F36, F37 and rawhide 2022-06-01, Build packages of cppcheck 2.8-1 for F34, F35, F36 and rawhide 2022-03-19, Build packages of cppcheck 2.7.3-1 for F34, F35, F36 and rawhide 2022-02-09, Build packages of cppcheck 2.7-1 for F34, F35, F36 and rawhide 2021-10-02, Build packages of cppcheck 2.6-1 for F33, F34, F35 and rawhide 2021-07-22, Test builds of cppcheck 2.5 with a patch to fix "Failed to load translation for English" (#1983599) 2021-07-04, Build packages of cppcheck 2.5-1 for F33, F34 and rawhide 2020-12-08, Build packages of cppcheck 2.3 for EPEL 7 and EPEL 8 2020-12-05, Build packages of cppcheck 2.3-1 for F32, F33 and rawhide 2020-11-08, Build packages of cppcheck 2.2 for F32, F33 and rawhide using patch from PR2890 2020-10-06, Build packages of cppcheck 2.2-1 for F33 and rawhide 2020-06-16, Build packages of cppcheck 2.1-2 for F31, F32, rawhide, epel7 and epel8 Enable Z3 on Fedora builds 2020-05-10, Build packages of cppcheck 2.0-1 for F30, F31, F32, rawhide, epel7 and epel8 2020-01-06, Build packages of cppcheck 1.90-4 for F29, F30, F31, rawhide, epel7 and epel8 Built from https://src.fedoraproject.org/rpms/cppcheck.git Nightly builds of Cppcheck master (until 2020-01-05) 2019-10-06: Issue has been fixed upstream The issue concerning failing builds on armv7hl, aarch64, ppc64le and s390x has been fixed upstream. Details: https://github.com/danmar/cppcheck/commit/3c085fd 2019-10-04: 1.89.99-0.4 Remove "-fsigned-char" again from CXXFLAGS, to see if/when the cause of the issue has been fixed upstream 2019-09-28: All tests pass now on all architectures. In the meantime I did some debugging on a ppc64le system. The following warning (separate issue), which appeared in the ppc64le build log but not in x86_64, gave an indication, where the problem was coming from: lib/suppressions.cpp:172:42: warning: comparison is always false due to limited range of data type [-Wtype-limits] Whereas errorId is of type std::string, which is defined as std::basic_string<char>. The type char is signed on i686 and x86_64, but unsigned on armv7hl aarch64 ppc64le s390x. Using CXXFLAGS="-fsigned-char" for now, to make all tests pass also on armv7hl aarch64 ppc64le s390x. 2019-09-06: Run nightly builds of current git master. The goal is to investigate failing tests under the following architectures: armv7hl aarch64 ppc64le s390x As a representative of the affected architectures, ppc64le is run here at copr. Remark: Under i386/i686 and x86_64 all tests pass. For further details see: https://src.fedoraproject.org/rpms/cppcheck/pull-request/1
  • Fedora 41 : aarch64, ppc64le, x86_64
  • Fedora 42 : aarch64, ppc64le, x86_64
  • Fedora 43 : aarch64, ppc64le, x86_64
  • Fedora rawhide : aarch64, ppc64le, x86_64

c72578/rpms

Project for building various needed rpms 2019-12-21: Build cppcheck-1.90-1 for F29, F30, F31 and rawhide (aarch64, i386, ppc64le, x86_64) 2019-10-07: Build cppcheck-1.89-3 for F29, F30, F31 and rawhide (aarch64, i386, ppc64le, x86_64) 2019-09-30: Build gettext 0.20.1-2 for F29 and F30 (aarch64, i386, ppc64le, x86_64) 2019-09-29: Build cppcheck-1.89-2 for F29, F30, F31 and rawhide (aarch64, i386, ppc64le, x86_64) 2019-08-13: Build gettext 0.20.1-1 for F29, F30 and rawhide 2019-07-31: Build bear 2.4.1-1 for F29, F30 and rawhide
  • EPEL 8 : aarch64, ppc64le, x86_64
  • Fedora 41 : aarch64, i386, ppc64le, x86_64
  • Fedora 42 : aarch64, i386, ppc64le, x86_64
  • Fedora 43 : aarch64, i386, ppc64le, x86_64
  • Fedora rawhide : aarch64, i386, ppc64le, x86_64

c72578/rrdtool

RRDtool packages for testing 2022-03-30 Build packages of rrdtool 1.8.0-2 for F34, F35, F36 and rawhide 2019-04-02 Git snapshot for rpm build tests of rrdtool 1.7.2 (20190328git0cac673)
  • Fedora 41 : i386, x86_64
  • Fedora 42 : i386, x86_64
  • Fedora 43 : i386, x86_64
  • Fedora rawhide : i386, x86_64

c72578/indent

Packages of indent for testing. 2019-01-18: Build packages of indent 2.2.12 for rawhide, f29 and f28
  • Fedora 41 : i386, x86_64
  • Fedora 42 : i386, x86_64
  • Fedora 43 : i386, x86_64
  • Fedora rawhide : i386, x86_64

c72578/pugixml

pugixml packages for testing 2019-09-16: Build pugixml 1.10-2 for F29, F30, F31 and rawhide 2019-09-12: Build packages of current git snapshot of pugixml for rpm build testing. Commit: 3c59df5 Prepare for upcoming release of Pugixml 1.10 2019-04-02: Build packages of current git snapshot of pugixml for rpm build testing. Commit: 7247a82 2019-03-14: Build packages of current git snapshot of pugixml for rpm build testing. Commit: 29f3177 2018-12-06: Build packages of current git snapshot of pugixml for rpm build testing. Commit: 7664bbf 2018-11-12: Build packages of current git snapshot of pugixml for rpm build testing. Commit: d9fadc7
  • Fedora rawhide : aarch64, i386, ppc64le, x86_64

c72578/mingw-windows-default-manifest

MinGW Default Windows manifest packages for testing 2018-03-27, Package has been reviewed and is now in Fedora: https://src.fedoraproject.org/rpms/mingw-windows-default-manifest 2018-03-23, Fedora package review request: https://bugzilla.redhat.com/show_bug.cgi?id=1559911 2018-03-23, build packages mingw-windows-default-manifest-6.4-0.2 2018-03-21, build packages mingw-windows-default-manifest-6.4-0.1
  • Fedora rawhide : i386, x86_64

c72578/websocketpp

WebSocket++ packages for testing 2020-04-20 Build websocketpp 0.8.2. 2018-07-25 Build websocketpp 0.8.1. Test builds of cpprest and tomahawk
  • Fedora rawhide : x86_64

c72578/wxGTK3

wxGTK3 packages for testing 2017-05-02: Build packages for wxGTK3-3.0.3, as wxWidgets 3.0.3 has been released. wxGTK3 3.0.3 is now in Fedora 25, 26 and rawhide: https://apps.fedoraproject.org/packages/wxGTK3 Keep only builds for Fedora 24 here.

c72578/cld2

Compact Language Detector 2 Fedora package review request: https://bugzilla.redhat.com/show_bug.cgi?id=1441728 2017-08-28, the package cld2 is now in Fedora 25, 26, 27 and rawhide: https://src.fedoraproject.org/rpms/cld2 Keep only builds for Fedora 24 here. 2017-06-04: Build packages using latest git snapshot, version 0-0.7.20150821gitb56fa78 2017-04-11: Initial Fedora copr packaging
  • Fedora rawhide : i386, x86_64
  • 1
  • 2

News - Read All

Task Queue

11 Build Batches 0 Importing 5 Pending 7 Starting 103 Running

Recent Builds - View All

util-linux

Project: packit/util-linux-util-linux-3862

Build: 9810261

State: succeeded

Finished: a minute ago

rubygem-puma

Project: mtasaka/rubygems-40-all-01

Build: 9809718

State: succeeded

Finished: a minute ago

microdnf

Project: rpmsoftwaremanagement/dnf-nightly

Build: 9809798

State: succeeded

Finished: 2 minutes ago

libpkgmanifest

Project: rpmsoftwaremanagement/dnf-nightly

Build: 9809780

State: failed

Finished: 3 minutes ago