wallet-core/contrib/alloy
..
taler-sync.als