Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-erlang
/
proper
QuickCheck-inspired property-based testing tool for Erlang
https://github.com/proper-testing/proper
Overview
Dependencies
QA report
Pull requests
0
Bugs
1
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-06-11
dev-erlang/proper: drop 1.3
ddd7800
Arthur Zamarin
committed on 2024-06-11 06:01:01 UTC
dev-erlang/proper/Manifest
dev-erlang/proper/proper-1.3.ebuild
dev-erlang/proper: Stabilize 1.4 x86, #934023
4e18eeb
Arthur Zamarin
committed on 2024-06-11 05:26:49 UTC
dev-erlang/proper/proper-1.4.ebuild
Commits on 2024-06-10
dev-erlang/proper: Stabilize 1.4 amd64, #934023
4859191
Arthur Zamarin
committed on 2024-06-10 20:25:37 UTC
dev-erlang/proper/proper-1.4.ebuild
dev-erlang/proper: dekeyword ia64
dbb7f54
Arthur Zamarin
committed on 2024-06-10 20:05:10 UTC
dev-erlang/proper/proper-1.3.ebuild
dev-erlang/proper/proper-1.4.ebuild
dev-erlang/proper: dekeyword ppc
dd56091
Arthur Zamarin
committed on 2024-06-10 20:05:01 UTC
dev-erlang/proper/proper-1.3.ebuild
dev-erlang/proper/proper-1.4.ebuild
Commits on 2024-05-25
dev-erlang/proper: drop src_configure
fe85c0b
Florian Schmaus
committed on 2024-05-25 11:59:41 UTC
dev-erlang/proper/proper-1.4.ebuild
dev-erlang/proper: fix remote-id
9bc4ba3
Michael Mair-Keimberger
authored
and
Florian Schmaus
committed on 2024-05-25 11:59:41 UTC
dev-erlang/proper/metadata.xml
dev-erlang/proper: add 1.4
79b0fa6
Michael Mair-Keimberger
authored
and
Florian Schmaus
committed on 2024-05-25 11:59:40 UTC
dev-erlang/proper/proper-1.4.ebuild
dev-erlang/proper/Manifest
Commits on 2023-09-02
dev-erlang/proper: drop 1.2
b5be657
Andreas Sturmlechner
committed on 2023-09-02 11:41:32 UTC
dev-erlang/proper/Manifest
dev-erlang/proper/proper-1.2.ebuild
Commits on 2021-09-11
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 2021-09-11 13:22:48 UTC
dev-erlang/proper/metadata.xml
Commits on 2021-03-16
*/*: Normalize metadata.xml files
a677ccd
Michał Górny
committed on 2021-03-16 16:42:16 UTC
dev-erlang/proper/metadata.xml
Commits on 2020-07-01
dev-erlang/proper: Disable tests
792a1b8
Hanno Böck
committed on 2020-07-01 12:08:48 UTC
dev-erlang/proper/proper-1.3.ebuild
Commits on 2019-12-16
dev-erlang/proper: Fix metadata
a4eb1c1
Hanno Böck
committed on 2019-12-16 11:32:34 UTC
dev-erlang/proper/metadata.xml
Commits on 2019-12-07
dev-erlang/proper: subscribe to dev-lang/erlang subslot
defb6d0
Petr Vaněk
authored
and
Sergei Trofimovich
committed on 2019-12-07 13:46:50 UTC
dev-erlang/proper/proper-1.2.ebuild
dev-erlang/proper/proper-1.3.ebuild
Commits on 2019-11-03
dev-erlang/proper: Assign to ejabberd project
7c12df3
Hanno Böck
committed on 2019-11-03 14:07:12 UTC
dev-erlang/proper/metadata.xml
Commits on 2019-09-13
dev-erlang/proper: x86 stable wrt bug #694160
7df503e
Agostino Sarubbo
committed on 2019-09-13 12:26:01 UTC
dev-erlang/proper/proper-1.3.ebuild
dev-erlang/proper: ppc stable wrt bug #694160
1edba43
Agostino Sarubbo
committed on 2019-09-13 12:01:01 UTC
dev-erlang/proper/proper-1.3.ebuild
dev-erlang/proper: amd64 stable wrt bug #694160
413821c
Agostino Sarubbo
committed on 2019-09-13 06:36:37 UTC
dev-erlang/proper/proper-1.3.ebuild
Commits on 2019-07-13
dev-erlang: Remove aidecoe from maintainers
4d973d2
Amadeusz Piotr Żołnowski
committed on 2019-07-13 10:10:29 UTC
dev-erlang/proper/metadata.xml
Commits on 2018-10-24
dev-erlang/proper: Bump version
0da03fe
Amadeusz Piotr Żołnowski
committed on 2018-10-24 21:53:54 UTC
dev-erlang/proper/proper-1.3.ebuild
dev-erlang/proper/Manifest
Commits on 2018-03-28
dev-erlang/proper: Drop old, to allow removal of vulnerable erlang
5b35d91
Pacho Ramos
committed on 2018-03-28 19:01:11 UTC
dev-erlang/proper/Manifest
dev-erlang/proper/proper-1.1_p20160426.ebuild
Commits on 2017-12-09
dev-erlang/*: Update Manifest hashes
303b9d7
Michał Górny
committed on 2017-12-09 12:40:09 UTC
dev-erlang/proper/Manifest
Commits on 2017-04-29
Globally add missing remote ID references to metadata.xml
9271526
Justin Lecher
committed on 2017-04-29 18:49:16 UTC
dev-erlang/proper/metadata.xml
Commits on 2017-02-28
Drop $Id$ per council decision in bug #611234.
61b861a
Robin H. Johnson
committed on 2017-02-28 19:50:50 UTC
dev-erlang/proper/proper-1.1_p20160426.ebuild
dev-erlang/proper/proper-1.2.ebuild
Commits on 2017-01-01
dev-erlang/proper: ppc stable wrt bug #603800
5162eab
Agostino Sarubbo
committed on 2017-01-01 12:21:50 UTC
dev-erlang/proper/proper-1.2.ebuild
Commits on 2016-12-29
dev-erlang/proper: x86 stable wrt bug #603800
3853246
Agostino Sarubbo
committed on 2016-12-29 10:44:11 UTC
dev-erlang/proper/proper-1.2.ebuild
dev-erlang/proper: amd64 stable wrt bug #603800
ced3996
Agostino Sarubbo
committed on 2016-12-29 10:02:41 UTC
dev-erlang/proper/proper-1.2.ebuild
Commits on 2016-08-29
dev-erlang/proper: Bump version to 1.2
225a8cd
Amadeusz Żołnowski
committed on 2016-08-29 21:19:09 UTC
dev-erlang/proper/proper-1.2.ebuild
dev-erlang/proper/Manifest
Commits on 2016-08-20
dev-erlang/proper: stabilize 1.1_p20160426 on ppc, bug #587908
5fbee05
Anthony G. Basile
committed on 2016-08-20 20:09:29 UTC
dev-erlang/proper/proper-1.1_p20160426.ebuild
dev-erlang/proper: stabilize 1.1_p20160426 on amd64/x86, bug #587908
107e1ee
Matthias Maier
committed on 2016-08-20 03:10:42 UTC
dev-erlang/proper/proper-1.1_p20160426.ebuild
Commits on 2016-07-09
dev-erlang/proper: Restrict Erlang version to <19
eadc3af
Amadeusz Żołnowski
committed on 2016-07-09 14:28:54 UTC
dev-erlang/proper/proper-1.1_p20160426.ebuild
Commits on 2016-07-03
dev-erlang: Add ~ia64 and ~sparc keywords back
92e5cec
Amadeusz Żołnowski
committed on 2016-07-03 17:39:03 UTC
dev-erlang/proper/proper-1.1_p20160426.ebuild
Commits on 2016-06-07
dev-erlang/proper: Add new package
c59b6e1
Amadeusz Żołnowski
committed on 2016-06-07 22:20:44 UTC
dev-erlang/proper/Manifest
dev-erlang/proper/metadata.xml
dev-erlang/proper/proper-1.1_p20160426.ebuild