Tweak math/coq version 8.4.3_1,1
Tweak java/eclipse version 4.3.2_3
Tweak java/eclipse-checkstyle version 3.4.1.0_7
Tweak java/eclipse-EPIC version 0.6.35_3
Tweak java/eclipse-log4e version 1.1.6_5
Tweak java/eclipse-viplugin version 1.14.0_5
Tweak java/phpeclipse version 1.2.3_6
Tweak java/commonclipse version 1.3.0_5
Tweak java/eclipse-quantum version 3.0.1_5
Tweak java/eclipse-examples version 3.0_7
Tweak java/eclipse-lomboz version 3.1.r2_6
Tweak java/eclipse-uml version 1.1.1_5
Tweak java/eclipse-vep version 1.2_5,1
Tweak java/eclipse-drjava version 0.9.8_6
Tweak java/eclipse-gef-examples version 3.0_7
Tweak java/eclipse-langpack version 3.2.1_6
Tweak java/eclipse-shelled version 1.0.2a_4
Tweak java/eclipse-sqlexplorer version 2.2.4_6
Tweak java/eclipse-vep-examples version 1.1.0.1_5
Tweak java/eclipse-propedit version 4.8.2_4