pagure Logo
  • Log In

rpms / cbmc

Clone
Source Code
GIT
  • Source
  • Issues 
  • Pull Requests  1
  • Stats
 Overview  Files  Commits  Branches  Forks  Releases
Monitoring status:
Bugzilla Assignee:
Fedora:
vmihalko
EPEL:
vmihalko

Bugzilla Assignee

These two fields allow to specify a different default assignee for ticket opened against this package in bugzilla. Note: The EPEL field is always displayed for packages in the 'rpms' namespace regardless of whether it is used in bugzilla or not.

Orphan package

16f6609 new upstream release

Authored and Committed by vmihalko 2 years ago
raw patch tree parent
5 files changed. 1605 lines added. 10 lines removed.
cbmc-add-cmd-line-arg.patch
file added
+320
cbmc-f35-deprecated-python.patch
file modified
+5 -5
cbmc-f36-fix-build-gcc12-incompatibility.patch
file added
+1265
cbmc.spec
file modified
+13 -3
sources
file modified
+2 -2
    new upstream release
    
        
  • Build completed
    success
    Built as cbmc-5.50.0-1.fc37
    2 years ago
cbmc-add-cmd-line-arg.patch
file added
+320
cbmc-f35-deprecated-python.patch
file modified
+5 -5
cbmc-f36-fix-build-gcc12-incompatibility.patch
file added
+1265
cbmc.spec
file modified
+13 -3
sources
file modified
+2 -2
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.