Package - erlang-proper

Package:  erlang-proper
apt-get install erlang-proper
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/e/erlang-proper/erlang-proper_1.5.0-1_amd64.deb (Size: 471.7KiB)

PropertyValue
Packageerlang-proper
Version1.5.0-1
Installed-Size671
MaintainerDebian Erlang Packagers
Architectureamd64
Dependserlang-base (>= 1:27.3+dfsg), erlang-syntax-tools (>= 1:27.3+dfsg), erlang-tools (>= 1:27.3+dfsg)
DescriptionQuickCheck-inspired property-based testing tool for Erlang
Description-md534f25b1b09d1fd41a8ce7efd6aa03800
Homepagehttps://github.com/manopapad/proper
Sectiondevel
Priorityoptional
Filenamepool/main/e/erlang-proper/erlang-proper_1.5.0-1_amd64.deb
Size483060
MD5sum3666296a87a58cfb18cdd98e3c59c6a8
SHA2569fec1f3942f063b3df902ad516c627ce5b0f27ba5946ed119bc9cbc45da4af11

Files in package

  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper.app
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_arith.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_array.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_dict.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_erlang_abstract_code.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_fsm.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_gb_sets.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_gb_trees.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_gen.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_gen_next.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_orddict.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_ordsets.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_prop_remover.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_queue.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_sa.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_sets.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_shrink.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_statem.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_symb.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_target.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_transformer.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_types.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_typeserver.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_unicode.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/proper_unused_imports_remover.beam
  • /usr/lib/erlang/lib/proper-1.5.0/ebin/vararg.beam
  • /usr/share/doc/erlang-proper/changelog.Debian.gz
  • /usr/share/doc/erlang-proper/copyright