6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
libksi 3.14.2207-1 0 0.00 Guardtime KSI C SDK amaloz
matterhorn 40901.0.0-3 3 0.14 A terminal-based chat client for MatterMost amaloz
matterhorn-bin 40901.0.0-1 0 0.00 A terminal-based chat client for MatterMost amaloz
matterhorn-git 30802.1.0-2 1 0.00 A terminal-based chat client for MatterMost amaloz
sealcrypto 2.3.1-1 0 0.00 Simple Encrypted Arithmetic Library amaloz
yices 2.6.0-1 1 0.00 The Yices SMT Solver amaloz

6 packages found. Page 1 of 1.