7 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
ttt2-hg 1.20.1.r2116.7c846900def0-1 0 0.00 An automatic termination prover for term rewrite systems (TRSs) (mercurial version) ruffy 2020-07-07 08:29 (UTC)
telegram-tg-git 0.19.0.r3.g2b0c0cf-3 3 0.00 Telegram client for terminal orphan 2024-08-07 12:53 (UTC)
telegram-tg 0.19.0-5 3 0.00 Telegram client for terminal orphan 2024-08-07 12:46 (UTC)
orbterm-git 0.3.6.r25.g505cac5-1 0 0.00 The default terminal for RedoxOS, compatible with Linux - git version orphan 2023-08-05 13:47 (UTC)
orbterm 0.3.6-7 0 0.00 The default terminal for RedoxOS, compatible with Linux orphan 2024-05-04 01:14 (UTC)
miniterm 1.7.0-3 2 0.00 Lightweight VTE terminal emulator with colorscheme support (fork of tinyterm) dpeukert 2024-12-28 00:08 (UTC)
csi-hg 1.2.4.r2111.7fe648231f80-1 0 0.00 An automatic confluence prover for term rewrite systems (TRSs) (mercurial version) ruffy 2020-07-07 08:14 (UTC)

7 packages found. Page 1 of 1.