iNPUTmice 3f77e5fa55 bumped openpgp-api to version 5		2014-09-08 20:31:26 +02:00
..
MemorizingTrustManager@452f70208f
minidns@152be6eb1a
openpgp-api-lib@0be263d5d3
android-support-v13.jar
bcprov-jdk15on-150.jar
otr4j-0.10.jar