How to Install and Uninstall erlang-proper-dev Package on Linux Mint 20.3 (Una)

Last updated: November 22,2024

1. Install "erlang-proper-dev" package

This is a short guide on how to install erlang-proper-dev on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                erlang-proper-dev
            
                    
    
    Copied

2. Uninstall "erlang-proper-dev" package

Please follow the instructions below to uninstall erlang-proper-dev on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                erlang-proper-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the erlang-proper-dev package on Linux Mint 20.3 (Una)

Package: erlang-proper-dev
Architecture: amd64
Version: 1.2+git988ea0ed9f+dfsg-2
Priority: optional
Section: universe/devel
Source: erlang-proper
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Erlang Packagers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 30
Depends: erlang-proper (>= 1.2+git988ea0ed9f+dfsg-2)
Filename: pool/universe/e/erlang-proper/erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2_amd64.deb
Size: 4780
MD5sum: c595d8cf648e87ac3601e7b2c9288b1c
SHA1: 38faa3b8d8fd680ea06b165470d0128c0c65819b
SHA256: 0767229b3716099ee4fa443ab2a4e6eedf97f68d7815bb056832563727332f7c
Homepage: https://github.com/manopapad/proper
Description: QuickCheck-inspired property-based testing tool for Erlang - development files
Description-md5: 41a0358a575822b842330efcc1635cd2