Package - erlang-proper-dev
Primary informations
Download package: http://deb.debian.org/debian/pool/main/e/erlang-proper/erlang-proper-dev_1.5.0-1_amd64.deb (Size: 5.4KiB)| Property | Value |
|---|---|
| Package | erlang-proper-dev |
| Source | erlang-proper |
| Version | 1.5.0-1 |
| Installed-Size | 29 |
| Maintainer | Debian Erlang Packagers |
| Architecture | amd64 |
| Depends | erlang-proper (>= 1.5.0-1) |
| 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.5.0-1_amd64.deb |
| Size | 5512 |
| MD5sum | 9a608424c75ac6b5f650e38749799c93 |
| SHA256 | 8af80f6513c7a85d2bec9ef0763537825bb4b4e991a37ba26cd28074ea197a0c |
Files in package
- /usr/lib/erlang/lib/proper-1.5.0/include/proper.hrl
- /usr/lib/erlang/lib/proper-1.5.0/include/proper_common.hrl
- /usr/lib/erlang/lib/proper-1.5.0/include/proper_internal.hrl
- /usr/lib/erlang/lib/proper-1.5.0/include/proper_param_adts.hrl
- /usr/share/doc/erlang-proper-dev/changelog.Debian.gz
- /usr/share/doc/erlang-proper-dev/copyright