5 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
idp 3.6.0-4 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.11 The Tcl scripting language, 8.5 series DenBrahe
tk85 8.5.19-1 9 0.08 A windowing toolkit for use with tcl, 8.5 series DenBrahe

5 packages found. Page 1 of 1.