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

Last updated: December 23,2024

1. Install "libisl-dev" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libisl-dev
            
                    
    
    Copied

2. Uninstall "libisl-dev" package

Please follow the steps below to uninstall libisl-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libisl-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libisl-dev
Source: isl (0.26-3)
Version: 0.26-3+b2
Installed-Size: 7429
Maintainer: Debian GCC Maintainers
Architecture: amd64
Depends: libisl23 (= 0.26-3+b2)
Conflicts: libcloog-isl-dev
Size: 850096
SHA256: 6559c2b800b79685b1b10a02913e43f1ce034f47762dff1ccb2357b1b70ce9b7
SHA1: d10eb7116346336ea08a5256f0b552cbd13f8721
MD5sum: 809e07d31b9b910dd0961b19ecff616f
Description: manipulating sets and relations of integer points bounded by linear constraints
isl is a library for manipulating sets and relations of integer points
bounded by linear constraints. Supported operations on sets include
intersection, union, set difference, emptiness check, convex hull,
(integer) affine hull, integer projection, and computing the lexicographic
minimum using parametric integer programming. It also includes an ILP solver
based on generalized basis reduction.
.
This package contains the development files.
Description-md5:
Multi-Arch: same
Homepage: http://isl.gforge.inria.fr/
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/i/isl/libisl-dev_0.26-3+b2_amd64.deb