How to Install and Uninstall libsymfpu-dev Package on Kali Linux

Last updated: January 11,2025

1. Install "libsymfpu-dev" package

This guide let you learn how to install libsymfpu-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libsymfpu-dev
            
                    
    
    Copied

2. Uninstall "libsymfpu-dev" package

Here is a brief guide to show you how to uninstall libsymfpu-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libsymfpu-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libsymfpu-dev package on Kali Linux

Package: libsymfpu-dev
Source: symfpu
Version: 0.0~git20190517.8fbe139-2
Installed-Size: 189
Maintainer: Debian Science Maintainers
Architecture: all
Size: 34928
SHA256: 867ae50dcc205eb1466d23653aaf810b2eae7ca961b041c79b41b1dfc8d5f402
SHA1: acc32c4d71319a8c001739f6b1a69db52e028ebb
MD5sum: 0fc8d15cf147b694b6cb15a0572e29c2
Description: Symbolic Floating Point Unit
SymFPU is an implementation of the SMT-LIB / IEEE-754 operations in terms of
bit-vector operations. It is templated in terms of the bit-vectors,
propositions, floating-point formats and rounding mode types used. This allows
the same code to be executed as an arbitrary precision "SoftFloat" library
(although it's performance would not be good) or to be used to build symbolic
representation of floating-point operations suitable for use in "bit-blasting"
SMT solvers (you could also generate circuits from them but again, performance
will likely not be good).
.
This package contains development files for SymFPU. Install it if you
want to develop applications that use SymFPU's API.
Description-md5:
Homepage: https://github.com/martin-cs/symfpu
Section: libdevel
Priority: optional
Filename: pool/main/s/symfpu/libsymfpu-dev_0.0~git20190517.8fbe139-2_all.deb