8 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
idp 3.7.1-1 1 0.00 Knowledge Base System DenBrahe
idp-ide 1.1.1-3 1 0.00 IDP Knowledge Base System editor DenBrahe
jellyfin-theater-electron-git r541.7518fd3-1 1 0.02 Electron Theater app for Jellyfin DenBrahe
prob 1.7.1-3 0 0.00 ProB Animator and Model Checker DenBrahe
rambox-os-git r1097.8440bc8-1 3 0.18 Free and Open Source messaging and emailing app that combines common web applications into one. DenBrahe
stack-cloud-client 2.4.1-1 0 0.00 The STACK Client provides file sync to desktop clients. Renamed due to name clash with Haskell Tool Stack DenBrahe
tcl85 8.5.19-1 12 0.00 The Tcl scripting language, 8.5 series DenBrahe
tk85 8.5.19-1 9 0.00 A windowing toolkit for use with tcl, 8.5 series DenBrahe

8 packages found. Page 1 of 1.