erlang-proper-doc_1.2+dfsg-1_all.deb


Advertisement

Description

erlang-proper-doc - QuickCheck-inspired property-based testing tool for Erlang - document files

Property Value
Distribution Debian 9 (Stretch)
Repository Debian Main i386
Package filename erlang-proper-doc_1.2+dfsg-1_all.deb
Package name erlang-proper-doc
Package version 1.2+dfsg
Package release 1
Package architecture all
Package type deb
Category doc
Homepage https://github.com/manopapad/proper
License -
Maintainer LeoFS maintainers team <pkg-leofs-devel@lists.alioth.debian.org>
Download size 33.57 KB
Installed size 197.00 KB
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
open-source property-based testing tool for Erlang.
This package includes erlang-proper documents.

Alternatives

Package Version Architecture Repository
erlang-proper-doc_1.2+dfsg-1_all.deb 1.2+dfsg all Debian Main
erlang-proper-doc - - -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package erlang-proper-doc_1.2+dfsg-1_all.deb
Source Package erlang-proper

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install erlang-proper-doc deb package:
    # sudo apt-get install erlang-proper-doc

Files

Path
/usr/share/doc/erlang-proper-doc/changelog.Debian.gz
/usr/share/doc/erlang-proper-doc/copyright
/usr/share/doc/erlang-proper-doc/edoc/edoc-info
/usr/share/doc/erlang-proper-doc/edoc/erlang.png
/usr/share/doc/erlang-proper-doc/edoc/index.html
/usr/share/doc/erlang-proper-doc/edoc/modules-frame.html
/usr/share/doc/erlang-proper-doc/edoc/overview-summary.html
/usr/share/doc/erlang-proper-doc/edoc/proper.html
/usr/share/doc/erlang-proper-doc/edoc/proper_fsm.html
/usr/share/doc/erlang-proper-doc/edoc/proper_gen.html
/usr/share/doc/erlang-proper-doc/edoc/proper_statem.html
/usr/share/doc/erlang-proper-doc/edoc/proper_symb.html
/usr/share/doc/erlang-proper-doc/edoc/proper_transformer.html
/usr/share/doc/erlang-proper-doc/edoc/proper_types.html
/usr/share/doc/erlang-proper-doc/edoc/proper_typeserver.html
/usr/share/doc/erlang-proper-doc/edoc/proper_unicode.html
/usr/share/doc/erlang-proper-doc/edoc/proper_unused_imports_remover.html
/usr/share/doc/erlang-proper-doc/edoc/strip_types.html
/usr/share/doc/erlang-proper-doc/edoc/stylesheet.css

Changelog

2016-09-07 - Nobuhiro Iwamatsu <iwamatsu@debian.org>
erlang-proper (1.2+dfsg-1) unstable; urgency=medium
* Update to 1.2.
* Add debian/gbp.conf.
* Update debian/control.
Update Standards-Version to 3.9.8.
* Fix build on kFreeBSD. (Closes: #815403)
Add patches/fix_build_on_kfreebsd.patch.
2015-07-25 - Nobuhiro Iwamatsu <iwamatsu@debian.org>
erlang-proper (1.1+gitfa58f82bdc+dfsg-1) unstable; urgency=medium
* Snapshot, taken from the master (20150725). (Closes #790444)
* Update debian/control.
Update Standards-Version to 3.9.6.
2013-10-11 - Nobuhiro Iwamatsu <iwamatsu@debian.org>
erlang-proper (1.1+dfsg-1) unstable; urgency=low
* Update to 1.1.
* Remove patches/0001-Update-Makefile.-Change-to-use-rebar-of-system.patch.
2013-08-19 - Nobuhiro Iwamatsu <iwamatsu@debian.org>
erlang-proper (1.0+20120524+dfsg-5) unstable; urgency=low
* Update debian/control.
- Add dh-rebar to Build-Depends.
* Update debian/rules.
- Changed to use dh-rebar.
* Add debian/watch.
2013-07-16 - Nobuhiro Iwamatsu <iwamatsu@debian.org>
erlang-proper (1.0+20120524+dfsg-3) unstable; urgency=low
* Fix FTBFS when not builing -doc package. (Closes: #716980)
2013-07-04 - Nobuhiro Iwamatsu <iwamatsu@debian.org>
erlang-proper (1.0+20120524+dfsg-2) unstable; urgency=low
* Update debian/control.
- Add Vcs-Git field and Vcs-Browser field.
- Add erlang-edoc to Build-Depends.
- Add erlang-proper-doc package.
* Add edoc to erlang-proper-dev. (Closes: #701813)
* Update debian/rules.
- Build edoc.
- Change call "rebar clean" instead of make clean.
- Remove verbose option from from erlang-depends.
2012-08-02 - Nobuhiro Iwamatsu <iwamatsu@debian.org>
erlang-proper (1.0+20120524+dfsg-1) unstable; urgency=low
* Initial release. (Closes: #689388)

See Also

Package Description
erlang-proper_1.2+dfsg-1_i386.deb QuickCheck-inspired property-based testing tool for Erlang
erlang-public-key_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP public key infrastructure
erlang-ranch-doc_1.2.1-3_all.deb Documentation of erlang-ranch
erlang-ranch_1.2.1-3_i386.deb socket acceptor pool for TCP protocols in Erlang
erlang-redis-client_1.0.8-4_i386.deb Redis client for Erlang applications
erlang-reltool_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP release management tool
erlang-runtime-tools_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP runtime tracing/debugging tools
erlang-snmp_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP SNMP applications
erlang-src_19.2.1+dfsg-2+deb9u2_all.deb Erlang/OTP applications sources
erlang-ssh_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP implementation of SSH protocol
erlang-ssl_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP implementation of SSL
erlang-syntax-tools_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP modules for handling abstract Erlang syntax trees
erlang-tools_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP various tools
erlang-typer_19.2.1+dfsg-2+deb9u2_i386.deb Erlang/OTP code type annotator
erlang-uuid_0.4.6-1_i386.deb UUID generator for Erlang
Advertisement
Advertisement