|
%!s(int64=2) %!d(string=hai) anos | |
---|---|---|
.. | ||
protocol-spec | df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) | %!s(int64=2) %!d(string=hai) anos |
system-spec | df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) | %!s(int64=2) %!d(string=hai) anos |