How to Install and Uninstall klee-uclibc-devel-static Package on openSuSE Tumbleweed

Last updated: May 17,2024

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

This tutorial shows how to install klee-uclibc-devel-static on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                klee-uclibc-devel-static
            
                    
    
    Copied

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

Please follow the guidance below to uninstall klee-uclibc-devel-static on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                klee-uclibc-devel-static
            
                    
    
    Copied

3. Information about the klee-uclibc-devel-static package on openSuSE Tumbleweed

Information for package klee-uclibc-devel-static:
-------------------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : klee-uclibc-devel-static
Version : 1.4-2.1
Arch : x86_64
Vendor : openSUSE
Installed Size : 4.1 MiB
Installed : No
Status : not installed
Source package : klee-uclibc-1.4-2.1.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.