How to Install and Uninstall erlang-proper-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 27,2024

1. Install "erlang-proper-dev" package

This tutorial shows how to install erlang-proper-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                erlang-proper-dev
            
                    
    
    Copied

2. Uninstall "erlang-proper-dev" package

Please follow the guidance below to uninstall erlang-proper-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                erlang-proper-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the erlang-proper-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: erlang-proper-dev
Architecture: amd64
Version: 1.2+git988ea0ed9f+dfsg-2.1
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: 31
Depends: erlang-proper (>= 1.2+git988ea0ed9f+dfsg-2.1)
Filename: pool/universe/e/erlang-proper/erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2.1_amd64.deb
Size: 4796
MD5sum: b470737406d80ebeecdb18434e8f17f0
SHA1: b3a381c0343f62d15354f0f5870e3955e145d536
SHA256: 3c2d7aa19688814284bab6ab3bdf767e11909bf6af3058b3ddf822468aee8526
SHA512: 8e6b040cb264a6ac50c1634197220029b9161413739e8570094951327c89baa264293276b4b435cc8260a3d238f1afc8c5a057773af01504cb12e43ae2f82ad0
Homepage: https://github.com/manopapad/proper
Description: QuickCheck-inspired property-based testing tool for Erlang - development files
Description-md5: 41a0358a575822b842330efcc1635cd2