path: root/palm/plucker/distinfo

MD5 (plucker_docs-1.6.tar.bz2) = 8f841b6370f1f7b4c55246ad36b6dd70
MD5 (plucker_parser-1.6.tar.bz2) = ea847f012855c78e2d18d87ead254f5a
MD5 (plucker_viewer-1.6.tar.bz2) = d54f49fb769abcdbb39646e43d2e12f1