diff options
| author | Loïc Hoguin <[email protected]> | 2015-05-13 21:20:38 +0300 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2015-05-13 21:20:38 +0300 |
| commit | 32a86dd3da8a140e4374f4d09d24c0c9fdb41298 (patch) | |
| tree | 92d8c0f20fe4ca1ace7abfe85f3b821fd3413a86 /packages.v2.tsv | |
| parent | ee6489ede8e7952072d8552407c26ae97b05f056 (diff) | |
| download | erlang.mk-32a86dd3da8a140e4374f4d09d24c0c9fdb41298.tar.gz erlang.mk-32a86dd3da8a140e4374f4d09d24c0c9fdb41298.tar.bz2 erlang.mk-32a86dd3da8a140e4374f4d09d24c0c9fdb41298.zip | |
Add a hack to make proper work again
It was between this and adding it to NO_AUTOPATCH. This has
the advantage of not requiring rebar.
Diffstat (limited to 'packages.v2.tsv')
| -rw-r--r-- | packages.v2.tsv | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packages.v2.tsv b/packages.v2.tsv index c31dd3b..87ced2f 100644 --- a/packages.v2.tsv +++ b/packages.v2.tsv @@ -89,6 +89,7 @@ openpoker git https://github.com/hpyhacking/openpoker master https://github.com/ pegjs git https://github.com/dmitriid/pegjs 0.3 https://github.com/dmitriid/pegjs An implementation of PEG.js grammar for Erlang. pobox git https://github.com/ferd/pobox master https://github.com/ferd/pobox External buffer processes to protect against mailbox overflow in Erlang poolboy git https://github.com/devinus/poolboy master https://github.com/devinus/poolboy A hunky Erlang worker pool factory +proper git https://github.com/manopapad/proper master http://proper.softlab.ntua.gr PropEr: a QuickCheck-inspired property-based testing tool for Erlang. protobuffs git https://github.com/basho/erlang_protobuffs master https://github.com/basho/erlang_protobuffs An implementation of Google's Protocol Buffers for Erlang, based on ngerakines/erlang_protobuffs. ptrackerl git https://github.com/inaka/ptrackerl master https://github.com/inaka/ptrackerl Pivotal Tracker API Client written in Erlang push_service git https://github.com/hairyhum/push_service master https://github.com/hairyhum/push_service Push service |