Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
erlang:proper
63
package(s) known
ALT Linux p9
erlang-proper
1.3 (1.3-alt2)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Maintainer:
darktemplar@altlinux.org
Category:
Development/Erlang
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
ALT Linux p10
erlang-proper
1.4 (1.4-alt1)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Maintainer:
egori@altlinux.org
Category:
Development/Erlang
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
ALT Sisyphus
erlang-proper
1.4 (1.4-alt1)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Maintainer:
egori@altlinux.org
Category:
Development/Erlang
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Package issue tracker
4
6
Astra Orel Stable
main
erlang-proper
1.2 (1.2+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Debian 8
jessie/main
erlang-proper
1.1 (1.1+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package issue tracker
4
6
Package statistics
4
6
Debian 9
stretch/main
erlang-proper
1.2 (1.2+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package statistics
4
6
Debian 10
buster/main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
Package statistics
4
6
Debian 11
bullseye/main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
Package statistics
4
6
Debian 12
bookworm/main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
4
6
Package statistics
4
6
Debian Unstable
sid/main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package issue tracker
4
6
Package build status
4
6
Package statistics
4
6
Deepin
main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Links(s):
Upstream homepage
4
6
Devuan 1.0
jessie/main
erlang-proper
1.1 (1.1+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Devuan 2.0
ascii/main
erlang-proper
1.2 (1.2+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Devuan 3.0
beowulf/main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Devuan 4.0
chimaera/main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Devuan Unstable
unstable/main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Fedora 26
release
erlang-proper
1.2 (1.2-4.fc26)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 27
release
erlang-proper
1.2 (1.2-6.fc27)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 28
release
erlang-proper
1.2 (1.2-7.fc28)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 29
release
erlang-proper
1.3 (1.3-1.fc29)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 30
release
erlang-proper
1.3 (1.3-2.fc30)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 31
updates
erlang-proper
1.3 (1.3-4.fc31)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 31
release
erlang-proper
1.3 (1.3-3.fc31)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 32
release
erlang-proper
1.3 (1.3-5.fc32)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 33
release
erlang-proper
1.3 (1.3-6.fc33)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 34
release
erlang-proper
1.3 (1.3-7.fc34)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 35
release
erlang-proper
1.3 (1.3-8.fc35)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora 36
development
erlang-proper
1.3 (1.3-9.fc36)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Fedora Rawhide
development
erlang-proper
1.3 (1.3-9.fc36)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Unspecified
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Funtoo 1.4
lang-kit
dev-erlang/proper
1.3
Summary:
QuickCheck-inspired property-based testing tool for Erlang
Maintainer:
aidecoe@gentoo.org
Category:
dev-erlang
License:
GPL-3
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Funtoo 1.4
lang-kit
dev-erlang/proper
1.2
Summary:
QuickCheck-inspired property-based testing tool for Erlang
Maintainer:
aidecoe@gentoo.org
Category:
dev-erlang
License:
GPL-3
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Gentoo
dev-erlang/proper
1.3
Summary:
QuickCheck-inspired property-based testing tool for Erlang
Maintainer:
ejabberd@gentoo.org
Category:
dev-erlang
License:
GPL-3
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Gentoo
dev-erlang/proper
1.2
Summary:
QuickCheck-inspired property-based testing tool for Erlang
Maintainer:
ejabberd@gentoo.org
Category:
dev-erlang
License:
GPL-3
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package page
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Kali Linux Rolling
main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
LiGurOS stable
dev-erlang/proper
1.3
Summary:
QuickCheck-inspired property-based testing tool for Erlang
Maintainer:
ejabberd@gentoo.org
Category:
dev-erlang
License:
GPL-3
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
LiGurOS stable
dev-erlang/proper
1.2
Summary:
QuickCheck-inspired property-based testing tool for Erlang
Maintainer:
ejabberd@gentoo.org
Category:
dev-erlang
License:
GPL-3
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
LiGurOS develop
dev-erlang/proper
1.3
Summary:
QuickCheck-inspired property-based testing tool for Erlang
Maintainer:
ejabberd@gentoo.org
Category:
dev-erlang
License:
GPL-3
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
LiGurOS develop
dev-erlang/proper
1.2
Summary:
QuickCheck-inspired property-based testing tool for Erlang
Maintainer:
ejabberd@gentoo.org
Category:
dev-erlang
License:
GPL-3
Links(s):
Upstream download
4
6
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Mageia 7
core/release
erlang-proper
1.3 (1.3-2.mga7)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Development/Erlang
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package page
4
6
Mageia 8
core/release
erlang-proper
1.3 (1.3-4.mga8)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Development/Erlang
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Mageia Cauldron
core/release
erlang-proper
1.3 (1.3-5.mga9)
Summary:
A QuickCheck-inspired property-based testing tool for Erlang
Category:
Development/Erlang
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package page
4
6
Pardus 17
main
erlang-proper
1.2 (1.2+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Pardus 19
main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Pardus 21
main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Parrot
parrot-updates/main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Parrot
parrot/main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
PureOS Amber
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
PureOS landing
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Raspbian Oldstable
main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Raspbian Stable
main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Raspbian Testing
main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
misc
Links(s):
Upstream homepage
4
6
Rosa 2016.1
contrib/updates
erlang-proper
1.3 (1.3-2)
License:
GPLv3+
Links(s):
Upstream homepage
4
6
Package sources
4
6
Package recipe
4
6
Package recipe (raw)
4
6
Trisquel 7.0
belenos/main
erlang-proper
1.1 (1.1+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Trisquel 8.0
flidas/main
erlang-proper
1.1+gitfa58f82bdc (1.1+gitfa58f82bdc+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Trisquel 9.0
etiona/main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Trisquel 10.0
nabia/main
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Ubuntu 14.04
trusty/universe
erlang-proper
1.1 (1.1+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 16.04
xenial/universe
erlang-proper
1.1+gitfa58f82bdc (1.1+gitfa58f82bdc+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 18.04
bionic/universe
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-1)
Maintainers:
pkg-leofs-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 20.04
focal/universe
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 21.04
hirsute/universe
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 21.10
impish/universe
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6
Ubuntu 22.04
jammy/universe
erlang-proper
1.2+git988ea0ed9f (1.2+git988ea0ed9f+dfsg-2.1)
Maintainers:
pkg-erlang-devel@lists.alioth.debian.org
iwamatsu@debian.org
tach@debian.org
Category:
universe/misc
Links(s):
Upstream homepage
4
6
Package page
4
6
Package page
4
6
Package issue tracker
4
6
Package build status
4
6