diff dev-java/jrockit-jdk-bin/Manifest @ 431:4b67abbaacee

add dependency on gmpy
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 03 Dec 2016 06:05:41 +0100
parents f00d13ecb343
children
line wrap: on
line diff