71b8d6c7ed
- new upstream release
11 lines
421 B
Standard ML
11 lines
421 B
Standard ML
-----BEGIN PGP SIGNATURE-----
|
|
Version: GnuPG v1.4.10 (GNU/Linux)
|
|
|
|
iOoEAAECADQFAkv1M+QtFIAAAAAAFQAPcGthLWFkZHJlc3NAZ251cGcub3JnamFz
|
|
QGV4dHVuZG8uY29tAAoJEO2iHpS1ZXFvQtIFAJsE3KdghR5S0XFhD4AwWDCcwBEj
|
|
zdsHUnILB4kKcK4RvBMqBw+t6VQRQ5Ysx/YiyOhiq8UQpybmhkHxJR7SFw6P+tyz
|
|
GTeu7W0rNeXJYBbOPEND+bRz0bBlVfa0RbGPb6czntAm1KaSq8+uMGm3J9urEKeY
|
|
oaJAcIMj/5bBB/TXXyF4z49XIG2qkRi5L7gWmZKeLPOcqCz751UOVs8a0kk=
|
|
=aGBJ
|
|
-----END PGP SIGNATURE-----
|