root
/
rabbitmq-server
mirror of https://github.com/rabbitmq/rabbitmq-server.git
1
0
Fork 0
Code Issues Actions 6 Packages Projects Releases Wiki Activity

erlang.mk: Update repository URL for proper dep 

Proper was moved under the `proper-testing` org.
This commit is contained in:
Michael Davis 2025-01-31 09:04:05 -05:00
parent 7baf39798b
commit 2f3422c495
No known key found for this signature in database
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
erlang.mk vendored
View File

@ -2680,7 +2680,7 @@ pkg_proper_name = proper
pkg_proper_description = PropEr: a QuickCheck-inspired property-based testing tool for Erlang.
pkg_proper_homepage = http://proper.softlab.ntua.gr
pkg_proper_fetch = git
pkg_proper_repo = https://github.com/manopapad/proper
pkg_proper_repo = https://github.com/proper-testing/proper
pkg_proper_commit = master
PACKAGES += props