How to Install and Uninstall erlang-proper-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 11,2024

1. Install "erlang-proper-dev" package

Please follow the instructions below to install erlang-proper-dev on Ubuntu 22.10 (Kinetic Kudu)

$ sudo apt update $ sudo apt install erlang-proper-dev

2. Uninstall "erlang-proper-dev" package

In this section, we are going to explain the necessary steps to uninstall erlang-proper-dev on Ubuntu 22.10 (Kinetic Kudu):

$ sudo apt remove erlang-proper-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the erlang-proper-dev package on Ubuntu 22.10 (Kinetic Kudu)

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