5 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
idp 3.6.0-4 1 0.22 Knowledge Base System DenBrahe
idp-ide 1.1.1-2 1 0.22 IDP Knowledge Base System editor DenBrahe
prob 1.7.1-2 0 0.00 ProB Animator and Model Checker DenBrahe
tcl85 8.5.19-1 11 0.00 The Tcl scripting language, 8.5 series DenBrahe
tk85 8.5.19-1 8 0.00 A windowing toolkit for use with tcl, 8.5 series DenBrahe

5 packages found. Page 1 of 1.