[arch-commits] Commit in cryptol/repos (community-staging-x86_64)

[Felix Yan via arch-commits]

    Date: Wednesday, May 9, 2018 @ 05:26:09
  Author: felixonmars
Revision: 319776

archrelease: copy trunk to community-staging-x86_64

Added:
  cryptol/repos/community-staging-x86_64/