crypto: fix spec for crypto_one_time
crypto: fix spec for crypto_one_time

lrascao/otp,ferd/otp,getong/otp,kvakvs/otp,dgud/otp,erlang/otp,potatosalad/otp,dgud/otp,uabboli/otp,erlang/otp,vinoski/otp,kvakvs/otp,uabboli/otp,vladdu/otp,vinoski/otp,erlang/otp,potatosalad/otp,uabboli/otp,uabboli/otp,g-andrade/otp,dgud/otp,potatosalad/otp,bjorng/otp,electricimp/otp,mikpe/otp,getong/otp,potatosalad/otp,vladdu/otp,emacsmirror/erlang,ferd/otp,dgud/otp,getong/otp,vinoski/otp,emacsmirror/erlang,bjorng/otp,mikpe/otp,g-andrade/otp,electricimp/otp,lrascao/otp,uabboli/otp,emacsmirror/erlang,bjorng/otp,jj1bdx/otp,bjorng/otp,rlipscombe/otp,potatosalad/otp,jj1bdx/otp,kvakvs/otp,dgud/otp,vladdu/otp,jj1bdx/otp,uabboli/otp,erlang/otp,vladdu/otp,rlipscombe/otp,mikpe/otp,potatosalad/otp,isvilen/otp,jj1bdx/otp,vladdu/otp,ferd/otp,rlipscombe/otp,dgud/otp,potatosalad/otp,getong/otp,bjorng/otp,dumbbell/otp,g-andrade/otp,dumbbell/otp,erlang/otp,kvakvs/otp,isvilen/otp,kvakvs/otp,emacsmirror/erlang,isvilen/otp,jj1bdx/otp,jj1bdx/otp,potatosalad/otp,erlang/otp,kvakvs/otp,rlipscombe/otp,vladdu/otp,dumbbell/otp,bjorng/otp,emacsmirror/erlang,mikpe/otp,getong/otp,ferd/otp,electricimp/otp,kvakvs/otp,vladdu/otp,emacsmirror/erlang,dgud/otp,lrascao/otp,vinoski/otp,getong/otp,isvilen/otp,erlang/otp,vinoski/otp,rlipscombe/otp,rlipscombe/otp,erlang/otp,dumbbell/otp,lrascao/otp,vinoski/otp,bjorng/otp,jj1bdx/otp,bjorng/otp,mikpe/otp,dumbbell/otp,potatosalad/otp,rlipscombe/otp,vinoski/otp,lrascao/otp,emacsmirror/erlang,mikpe/otp,isvilen/otp,rlipscombe/otp,jj1bdx/otp,vinoski/otp,emacsmirror/erlang,emacsmirror/erlang,g-andrade/otp,dumbbell/otp,dumbbell/otp,erlang/otp,getong/otp,rlipscombe/otp,getong/otp,ferd/otp,dgud/otp,mikpe/otp,lrascao/otp,isvilen/otp,vladdu/otp,mikpe/otp,lrascao/otp,electricimp/otp,getong/otp,vladdu/otp,dumbbell/otp,rlipscombe/otp,vinoski/otp,ferd/otp,dgud/otp,electricimp/otp,ferd/otp,electricimp/otp,dumbbell/otp,getong/otp,emacsmirror/erlang,mikpe/otp,g-andrade/otp,kvakvs/otp,jj1bdx/otp,electricimp/otp,uabboli/otp,g-andrade/otp,ferd/otp,g-andrade/otp,jj1bdx/otp,vinoski/otp,g-andrade/otp,uabboli/otp,dumbbell/otp,lrascao/otp,isvilen/otp,kvakvs/otp,isvilen/otp,bjorng/otp,g-andrade/otp,isvilen/otp,uabboli/otp,lrascao/otp,potatosalad/otp,isvilen/otp,electricimp/otp,dgud/otp,electricimp/otp,g-andrade/otp,mikpe/otp,ferd/otp,erlang/otp,bjorng/otp