29 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
coq 8.5pl1-1 55 1.00 Formal proof management system. Full version that includes CoqIDE. zorun
ring-daemon 1:2.1.0.r525.g56ec56f-2 20 4.79 A secure and distributed voice, video and chat communication platform that requires no centralized server and leaves the power of privacy in the hands of the user (formerly known as SFLphone) zorun
libringclient 1:1.0.0.r53.gcb5ee04-1 20 4.64 Client communication library for Ring (formerly known as SFLphone) zorun
pcal 4.11.0-3 16 0.24 Pcal is a calendar-generation program which produces nice-looking PostScript output zorun
sig2dot 0.35-2 15 0.37 Generates a graph of all of the signature relationships in a GPG/PGP keyring zorun
ring-gnome 1:1.0.0.r20.g07107e9-1 14 3.60 The GNOME client for Ring (formerly known as SFLphone) zorun
pius 2.2.2-1 13 0.00 PGP Individual UID Signer (PIUS) zorun
opendht-git 20160421-1 10 1.61 A C++11 implementation of the Kademlia DHT (Distributed Hash Table) zorun
opendht 1:0.5.1.r79.g13f8c13-1 9 2.66 A C++11 implementation of the Kademlia DHT (Distributed Hash Table) zorun
linux-mptcp-headers 0.91.525002.856ebd0-3 7 0.01 Header files and scripts for building modules for Linux-mptcp kernel zorun
linux-mptcp-docs 0.91.525002.856ebd0-3 7 0.01 Kernel hackers manual - HTML documentation that comes with the Linux-mptcp kernel zorun
linux-mptcp 0.91.525002.856ebd0-3 7 0.01 The Linux kernel and modules with Multipath TCP support (based on linux 4.1.20) zorun
coq-doc 8.4pl6-2 7 0.13 HTML documentation for coq, a formal proof management system. zorun
udrawgraph 3.1.1-4 5 0.00 The powerful solution for graph visualization zorun
babeld 1.7.1-2 4 0.01 A loop-avoiding distance-vector routing protocol zorun
coq-nox 8.5pl1-1 3 0.00 Formal proof management system. Headless version, without CoqIDE. zorun
ahcpd 0.53-5 3 0.00 The Ad-Hoc Configuration Protocol daemon zorun
tsocks-ipv6 1.8beta6-1 2 0.06 Transparent SOCKS proxying library, with IPv6 support zorun
ring-daemon-git 20160422-1 2 0.44 A secure and distributed voice, video and chat communication platform that requires no centralized server and leaves the power of privacy in the hands of the user (formerly known as SFLphone) zorun
npiet 1.3d-2 2 0.38 An interpreter for piet programs. Also includes npietedit and npiet-foogol zorun
libringclient-git 20160420-1 2 0.44 Client communication library for Ring (formerly known as SFLphone) zorun
iproute-mptcp 0.90-1 2 0.00 IP Routing Utilities, with Multipath TCP support zorun
bdsync 0.8-1 2 0.01 Fast block device synchronizing tool zorun
ring-gnome-git 20160426-1 1 0.15 The GNOME client for Ring (formerly known as SFLphone) zorun
net-tools-mptcp 0.90.585.1830361-2 1 0.01 Configuration tools for Linux networking, with Multipath TCP support zorun
egypt 1.10-1 1 0.01 A simple tool for creating call graphs of C programs zorun
advanced-strategic-command 2.6.1-1 1 0.28 A free, turn-based strategy game, designed in the tradition of the Battle Isle series from Bluebyte zorun
adanaxis-gpl 1.2.5-1 1 0.07 A deep space first-person shooter game in four spatial dimensions (GPL version, built from source) zorun
i2util 1.2-1 0 0.00 Internet2 utility tools zorun

29 packages found. Page 1 of 1.