2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
opentheory-git 1.3.r1493.45d7d5e5-2 0 0.00 a tool for processing higher-order logic theory packages larsrh
duplicati2-beta 2.0.3.3-1 0 0.00 A free backup client that securely stores encrypted, incremental, compressed backups on cloud storage services and remote file servers larsrh

2 packages found. Page 1 of 1.