7 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-2 1 0.00 IDP Knowledge Base System editor DenBrahe
prob 1.7.1-3 0 0.00 ProB Animator and Model Checker DenBrahe
rambox-os-git r989.821e3f5-4 0 0.00 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.01 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

7 packages found. Page 1 of 1.