How to Install and Uninstall erlang-proper-dev Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: February 02,2025

1. Install "erlang-proper-dev" package

This is a short guide on how to install erlang-proper-dev on Ubuntu 20.10 (Groovy Gorilla)

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

2. Uninstall "erlang-proper-dev" package

Please follow the steps below to uninstall erlang-proper-dev on Ubuntu 20.10 (Groovy Gorilla):

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

3. Information about the erlang-proper-dev package on Ubuntu 20.10 (Groovy Gorilla)

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
SHA512: 0a3299f2ba53a05b66f6b74326df000da4e2b2c0a9a941b9e7788732a73d86f2555feede4d92e711358677c657eee19b862773dbe8a3421d3c062e51c20a541b
Homepage: https://github.com/manopapad/proper
Description-en: QuickCheck-inspired property-based testing tool for Erlang - development files
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
open-source property-based testing tool for Erlang.
.
This package includes erlang-proper headers which are necessary to build Erlang
applications which use erlang-proper.
Description-md5: 41a0358a575822b842330efcc1635cd2