How to Install and Uninstall erlang-proper-dev Package on Debian 10 (Buster)

Last updated: November 22,2024

1. Install "erlang-proper-dev" package

Please follow the instructions below to install erlang-proper-dev on Debian 10 (Buster)

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

2. Uninstall "erlang-proper-dev" package

This guide let you learn how to uninstall erlang-proper-dev on Debian 10 (Buster):

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

3. Information about the erlang-proper-dev package on Debian 10 (Buster)

Package: erlang-proper-dev
Source: erlang-proper
Version: 1.2+git988ea0ed9f+dfsg-2
Installed-Size: 30
Maintainer: Debian Erlang Packagers
Architecture: amd64
Depends: erlang-proper (>= 1.2+git988ea0ed9f+dfsg-2)
Description: QuickCheck-inspired property-based testing tool for Erlang - development files
Description-md5: 41a0358a575822b842330efcc1635cd2
Homepage: https://github.com/manopapad/proper
Section: devel
Priority: optional
Filename: pool/main/e/erlang-proper/erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2_amd64.deb
Size: 5756
MD5sum: 2506865e53da1a063591c168e76d7fab
SHA256: 36a075719707ee2d73b3acf406e6baed2a0d3aa744951e266659acd58d97873b