How to Install and Uninstall relacy-dev Package on Debian 11 (Bullseye)

Last updated: June 06,2024

1. Install "relacy-dev" package

Please follow the step by step instructions below to install relacy-dev on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                relacy-dev
            
                    
    
    Copied

2. Uninstall "relacy-dev" package

Please follow the instructions below to uninstall relacy-dev on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                relacy-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the relacy-dev package on Debian 11 (Bullseye)

Package: relacy-dev
Source: relacy
Version: 0.0+git20191025.acc09bb-2
Installed-Size: 369
Maintainer: Debian Med Packaging Team
Architecture: all
Description: meticulous synchronization algorithm verifier for relaxed memory models
Description-md5: 5fb023c0fbccebd3496fe6030812d152
Multi-Arch: foreign
Homepage: https://github.com/dvyukov/relacy
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/r/relacy/relacy-dev_0.0+git20191025.acc09bb-2_all.deb
Size: 47736
MD5sum: f4b6994fac0c2f5e2bb4fac17d8fe729
SHA256: 18997d285cd3fdf4cdad995fe4ae151edaf38e970254ae6a2a2ecb45d8463083