5 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
tcl85 8.5.19-1 12 0.02 The Tcl scripting language, 8.5 series DenBrahe
tk85 8.5.19-1 9 0.01 A windowing toolkit for use with tcl, 8.5 series DenBrahe

5 packages found. Page 1 of 1.