0001-use-debian-fhs.patch
0002-use-system-cryptokit.patch
0003-Add-support-for-EdDSA-key-using-Ed25519-signature-sc.patch
0004-Keydb.add_keys-use-List.rev_map-instead-of-List.map-.patch
0005-Build.get_keys-make-it-tail-recursive.patch
0006-parsePGP.ml-Add-OID-for-Curve25519-encryption.patch
0007-Avoid-deprecated-ocaml.patch
0008-Avoid-sending-web-clients-to-third-party-resources.patch
0009-Correct-invalid-md5sum-file.patch
0010-make-ocextr-as-bytecode-rather-than-native.patch
0011-pull-LDFLAGS-from-environment.patch
0012-remove-YOURDOMAIN-from-sample-web-index.patch
