7 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
matterhorn 50200.4.0-1 3 0.00 A terminal-based chat client for MatterMost amaloz
matterhorn-bin 50200.4.0-1 2 0.26 A terminal-based chat client for MatterMost amaloz
yices 2.6.1-1 1 0.00 The Yices SMT Solver amaloz
matterhorn-git 50200.1.0-1 1 0.00 A terminal-based chat client for MatterMost amaloz
sealcrypto 3.3.0-1 0 0.00 Simple Encrypted Arithmetic Library amaloz
libsnark-git v20140603.r321.g3e92af1-1 0 0.00 libsnark: a C++ library for zkSNARK proofs amaloz
libksi 3.14.2207-1 0 0.00 Guardtime KSI C SDK amaloz

7 packages found. Page 1 of 1.