How to Install and Uninstall klee-uclibc-devel-static Package on openSUSE Leap

Last updated: September 28,2024

1. Install "klee-uclibc-devel-static" package

Here is a brief guide to show you how to install klee-uclibc-devel-static on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                klee-uclibc-devel-static
            
                    
    
    Copied

2. Uninstall "klee-uclibc-devel-static" package

This guide covers the steps necessary to uninstall klee-uclibc-devel-static on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                klee-uclibc-devel-static
            
                    
    
    Copied

3. Information about the klee-uclibc-devel-static package on openSUSE Leap

Information for package klee-uclibc-devel-static:
-------------------------------------------------
Repository : Main Repository
Name : klee-uclibc-devel-static
Version : 1.3-bp155.3.5
Arch : x86_64
Vendor : openSUSE
Installed Size : 2.2 MiB
Installed : No
Status : not installed
Source package : klee-uclibc-1.3-bp155.3.5.src
Upstream URL : https://github.com/klee/klee-uclibc
Summary : Libc library for Klee
Description :
This is a port of uClibc to LLVM to serve Klee. Hence, this package
provides a "static" library, but it is not composed of ELF objects, but is
LLVM bytecode packed by `ar`. Klee uses this to emulate the POSIX runtime
development symbolically.