dev-erlang / proper

QuickCheck-inspired property-based testing tool for Erlang

Official package sites : https://github.com/manopapad/proper ·

v1.3 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
amd64 ppc x86 ~arm ~ia64 ~sparc

v1.2 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
amd64 ppc x86 ~arm ~ia64 ~sparc

dev-lang / erlang : Erlang programming language, runtime environment and libraries (OTP)

dev-util / rebar : A sophisticated build-tool for Erlang projects that follows OTP principles

sys-apps / gawk : GNU awk pattern-matching language

dev-lang / erlang : Erlang programming language, runtime environment and libraries (OTP)

dev-erlang / hamcrest : Erlang port of Hamcrest

dev-erlang / p1_oauth2 : Erlang OAuth 2.0 implementation

dev-erlang / protobuffs : Google's Protocol Buffers for Erlang

655568
dev-erlang/proper-1.2 : [TEST] ERROR: One or more eunit tests failed.
661080
dev-erlang/proper-1.2 : Uncaught error in rebar_core: { EXIT ,
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-erlang/proper: x86 stable wrt bug #694160
Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-erlang/proper: ppc stable wrt bug #694160
Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-erlang/proper: amd64 stable wrt bug #694160
Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Amadeusz Piotr Żołnowski · gentoo
dev-erlang/proper: Bump version
Bug: https://bugs.gentoo.org/626260 Signed-off-by: Amadeusz Piotr Żołnowski <aidecoe@gentoo.org>
Pacho Ramos · gentoo
dev-erlang/proper: Drop old, to allow removal of vulnerable erlang
Package-Manager: Portage-2.3.26, Repoman-2.3.7
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Agostino Sarubbo · gentoo
dev-erlang/proper: ppc stable wrt bug #603800
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-erlang/proper: x86 stable wrt bug #603800
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-erlang/proper: amd64 stable wrt bug #603800
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Amadeusz Żołnowski · gentoo
Merge branch 'ejabberd-16.08'
Amadeusz Żołnowski · gentoo
dev-erlang/proper: Bump version to 1.2
Package-Manager: portage-2.3.0
Anthony G. Basile · gentoo
dev-erlang/proper: stabilize 1.1_p20160426 on ppc, bug #587908
Package-Manager: portage-2.2.28
Matthias Maier · gentoo
dev-erlang/proper: stabilize 1.1_p20160426 on amd64/x86, bug #587908
Package-Manager: portage-2.2.28
Amadeusz Żołnowski · gentoo
dev-erlang/proper: Restrict Erlang version to <19
It doesn't build with >=dev-lang/erlang-19.0. Package-Manager: portage-2.3.0
Amadeusz Żołnowski · gentoo
dev-erlang: Add ~ia64 and ~sparc keywords back
These packages have been debundled from ejabberd which used to have ~ia64 ~sparc keywords. These had to be removed temporarily until dev-util/rebar has these keywords.
Amadeusz Żołnowski · gentoo
Merge branch 'ejabberd-debundled'
Debundle net-im/ejabberd dependencies and put them into new dev-erlang category.
Amadeusz Żołnowski · gentoo
dev-erlang/proper: Add new package
It is debundled from net-im/ejabberd-16.04 and therefore inherits keywords from ejabberd: ~amd64, ~arm, ~ppc and ~x86. ~ia64 and ~sparc are not inherited because other dependency is missing these keywords and there's no chance it can get them any time soon. Package-Manager: portage-2.3.0_rc1