├── .bzrignore ├── .gitignore ├── .hgignore ├── .merlin ├── .travis.yml ├── ANNOUNCEMENT ├── BUGS ├── CHANGELOG ├── FILES ├── LICENSE ├── Makefile ├── Makefile.local.unused ├── README.md ├── TODO ├── UPGRADING ├── Unique_time.ml ├── Unique_time.mli ├── VERSION ├── add_mail.ml ├── add_mail.mli ├── armor.ml ├── armor.mli ├── bdb ├── Makefile ├── bdb_stubs.c ├── bdb_stubs.h ├── db.ml ├── db.mli ├── dbstubs.c ├── dbstubs.h ├── ocextr.ml ├── script.ml ├── temp.ml ├── templ.c └── test.ml ├── bdbwrap.ml ├── bdbwrap.mli ├── bitstring.ml ├── bitstring.mli ├── bugscript.ml ├── cMarshal.ml ├── cMarshal.mli ├── catchup.ml ├── catchup.mli ├── channel.ml ├── channel.mli ├── clean_keydb.ml ├── clean_keydb.mli ├── client.ml ├── client.mli ├── common.ml ├── common.mli ├── crc.c ├── dbMessages.ml ├── dbMessages.mli ├── dbscript.ml ├── dbserver.ml ├── dbserver.mli ├── dbtest.ml ├── decode.ml ├── decode.mli ├── decode_test.ml ├── ehandlers.ml ├── ehandlers.mli ├── eventloop.ml ├── fastbuild.ml ├── fingerprint.ml ├── fixkey.ml ├── fixkey.mli ├── foo.ml ├── fqueue.ml ├── fqueue.mli ├── getfileopts.ml ├── heap.ml ├── heap.mli ├── htmlTemplates.ml ├── htmlTemplates.mli ├── incdump.ml ├── index.ml ├── index.mli ├── int_comparators.ml ├── key.ml ├── key.mli ├── keyHash.ml ├── keyHash.mli ├── keyMerge.ml ├── keydb.ml ├── linearAlg.ml ├── linearAlg.mli ├── logdump.ml ├── mArray.ml ├── mArray.mli ├── mList.ml ├── mList.mli ├── mRindex.ml ├── mTimer.ml ├── mTimer.mli ├── mailsync.ml ├── membership.ml ├── membership.mli ├── merge_keyfiles.ml ├── meteredChannel.ml ├── msgContainer.ml ├── nbMsgContainer.ml ├── nbMsgContainer.mli ├── number.ml ├── number.mli ├── number_test.ml ├── opam ├── pMap.ml ├── pMap.mli ├── pSet.ml ├── pSet.mli ├── pTreeDB.ml ├── packet.ml ├── packet.mli ├── parsePGP.ml ├── parsePGP.mli ├── pbuild.ml ├── pdiskTest.ml ├── poly.ml ├── poly.mli ├── poly_test.ml ├── prefixTree.ml ├── prefixTree.mli ├── prefix_test.ml ├── prime.ml ├── prime.mli ├── pstyle.ml ├── pstyle.mli ├── ptest.ml ├── ptree_consistency_test.ml ├── ptree_db_test.ml ├── ptree_replay.ml ├── ptscript.ml ├── query.ml ├── rMisc.ml ├── rMisc.mli ├── recode.ml ├── recode.mli ├── reconCS.ml ├── reconCS.mli ├── reconComm.ml ├── reconComm.mli ├── reconMessages.ml ├── reconMessages.mli ├── reconPTreeDb.ml ├── reconPTreeDb.mli ├── reconserver.ml ├── reconserver.mli ├── recoverList.ml ├── recoverList.mli ├── recvmail.ml ├── recvmail.mli ├── request.ml ├── request.mli ├── sStream.ml ├── sStream.mli ├── sampleConfig ├── DB_CONFIG ├── aliases.sample ├── crontab.sample ├── mailsync ├── membership ├── procmailrc ├── rc.sks ├── sksconf.minimal └── sksconf.typical ├── sampleWeb ├── HTML5 │ ├── README │ ├── index.html │ └── robots.txt ├── OpenPKG │ ├── README │ ├── index.html │ └── robots.txt └── XHTML+ES │ ├── functions.es │ ├── index.xhtml │ └── robots.txt ├── script.ml ├── sendmail.ml ├── server.ml ├── server.mli ├── settings.ml ├── settings.mli ├── sks.ml ├── sks.mli ├── sks.pod ├── sks_build.bc.sh ├── sks_build.sh ├── sks_do.ml ├── sksclient.ml ├── sksdump.ml ├── smtp_script.py ├── spider.ml ├── stats.ml ├── stats.mli ├── tester.ml ├── tz.c ├── unit_tests.ml ├── update_subkeys.ml ├── update_subkeys.mli ├── utils.ml ├── utils.mli ├── version.ml ├── version.mli ├── wserver.ml ├── wserver.mli ├── zZp.ml └── zZp.mli /.bzrignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/.bzrignore -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/.gitignore -------------------------------------------------------------------------------- /.hgignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/.hgignore -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/.merlin -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/.travis.yml -------------------------------------------------------------------------------- /ANNOUNCEMENT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/ANNOUNCEMENT -------------------------------------------------------------------------------- /BUGS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/BUGS -------------------------------------------------------------------------------- /CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/CHANGELOG -------------------------------------------------------------------------------- /FILES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/FILES -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.local.unused: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/Makefile.local.unused -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/README.md -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/TODO -------------------------------------------------------------------------------- /UPGRADING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/UPGRADING -------------------------------------------------------------------------------- /Unique_time.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/Unique_time.ml -------------------------------------------------------------------------------- /Unique_time.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/Unique_time.mli -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 1.1.6 2 | -------------------------------------------------------------------------------- /add_mail.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/add_mail.ml -------------------------------------------------------------------------------- /add_mail.mli: -------------------------------------------------------------------------------- 1 | (* This is the sks add_mail command-line tool *) 2 | -------------------------------------------------------------------------------- /armor.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/armor.ml -------------------------------------------------------------------------------- /armor.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/armor.mli -------------------------------------------------------------------------------- /bdb/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/Makefile -------------------------------------------------------------------------------- /bdb/bdb_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/bdb_stubs.c -------------------------------------------------------------------------------- /bdb/bdb_stubs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/bdb_stubs.h -------------------------------------------------------------------------------- /bdb/db.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/db.ml -------------------------------------------------------------------------------- /bdb/db.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/db.mli -------------------------------------------------------------------------------- /bdb/dbstubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/dbstubs.c -------------------------------------------------------------------------------- /bdb/dbstubs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/dbstubs.h -------------------------------------------------------------------------------- /bdb/ocextr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/ocextr.ml -------------------------------------------------------------------------------- /bdb/script.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/script.ml -------------------------------------------------------------------------------- /bdb/temp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/temp.ml -------------------------------------------------------------------------------- /bdb/templ.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/templ.c -------------------------------------------------------------------------------- /bdb/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdb/test.ml -------------------------------------------------------------------------------- /bdbwrap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdbwrap.ml -------------------------------------------------------------------------------- /bdbwrap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bdbwrap.mli -------------------------------------------------------------------------------- /bitstring.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bitstring.ml -------------------------------------------------------------------------------- /bitstring.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bitstring.mli -------------------------------------------------------------------------------- /bugscript.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/bugscript.ml -------------------------------------------------------------------------------- /cMarshal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/cMarshal.ml -------------------------------------------------------------------------------- /cMarshal.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/cMarshal.mli -------------------------------------------------------------------------------- /catchup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/catchup.ml -------------------------------------------------------------------------------- /catchup.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/catchup.mli -------------------------------------------------------------------------------- /channel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/channel.ml -------------------------------------------------------------------------------- /channel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/channel.mli -------------------------------------------------------------------------------- /clean_keydb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/clean_keydb.ml -------------------------------------------------------------------------------- /clean_keydb.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/clean_keydb.mli -------------------------------------------------------------------------------- /client.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/client.ml -------------------------------------------------------------------------------- /client.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/client.mli -------------------------------------------------------------------------------- /common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/common.ml -------------------------------------------------------------------------------- /common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/common.mli -------------------------------------------------------------------------------- /crc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/crc.c -------------------------------------------------------------------------------- /dbMessages.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/dbMessages.ml -------------------------------------------------------------------------------- /dbMessages.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/dbMessages.mli -------------------------------------------------------------------------------- /dbscript.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/dbscript.ml -------------------------------------------------------------------------------- /dbserver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/dbserver.ml -------------------------------------------------------------------------------- /dbserver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/dbserver.mli -------------------------------------------------------------------------------- /dbtest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/dbtest.ml -------------------------------------------------------------------------------- /decode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/decode.ml -------------------------------------------------------------------------------- /decode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/decode.mli -------------------------------------------------------------------------------- /decode_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/decode_test.ml -------------------------------------------------------------------------------- /ehandlers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/ehandlers.ml -------------------------------------------------------------------------------- /ehandlers.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/ehandlers.mli -------------------------------------------------------------------------------- /eventloop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/eventloop.ml -------------------------------------------------------------------------------- /fastbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/fastbuild.ml -------------------------------------------------------------------------------- /fingerprint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/fingerprint.ml -------------------------------------------------------------------------------- /fixkey.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/fixkey.ml -------------------------------------------------------------------------------- /fixkey.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/fixkey.mli -------------------------------------------------------------------------------- /foo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/foo.ml -------------------------------------------------------------------------------- /fqueue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/fqueue.ml -------------------------------------------------------------------------------- /fqueue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/fqueue.mli -------------------------------------------------------------------------------- /getfileopts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/getfileopts.ml -------------------------------------------------------------------------------- /heap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/heap.ml -------------------------------------------------------------------------------- /heap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/heap.mli -------------------------------------------------------------------------------- /htmlTemplates.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/htmlTemplates.ml -------------------------------------------------------------------------------- /htmlTemplates.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/htmlTemplates.mli -------------------------------------------------------------------------------- /incdump.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/incdump.ml -------------------------------------------------------------------------------- /index.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/index.ml -------------------------------------------------------------------------------- /index.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/index.mli -------------------------------------------------------------------------------- /int_comparators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/int_comparators.ml -------------------------------------------------------------------------------- /key.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/key.ml -------------------------------------------------------------------------------- /key.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/key.mli -------------------------------------------------------------------------------- /keyHash.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/keyHash.ml -------------------------------------------------------------------------------- /keyHash.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/keyHash.mli -------------------------------------------------------------------------------- /keyMerge.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/keyMerge.ml -------------------------------------------------------------------------------- /keydb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/keydb.ml -------------------------------------------------------------------------------- /linearAlg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/linearAlg.ml -------------------------------------------------------------------------------- /linearAlg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/linearAlg.mli -------------------------------------------------------------------------------- /logdump.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/logdump.ml -------------------------------------------------------------------------------- /mArray.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/mArray.ml -------------------------------------------------------------------------------- /mArray.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/mArray.mli -------------------------------------------------------------------------------- /mList.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/mList.ml -------------------------------------------------------------------------------- /mList.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/mList.mli -------------------------------------------------------------------------------- /mRindex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/mRindex.ml -------------------------------------------------------------------------------- /mTimer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/mTimer.ml -------------------------------------------------------------------------------- /mTimer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/mTimer.mli -------------------------------------------------------------------------------- /mailsync.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/mailsync.ml -------------------------------------------------------------------------------- /membership.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/membership.ml -------------------------------------------------------------------------------- /membership.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/membership.mli -------------------------------------------------------------------------------- /merge_keyfiles.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/merge_keyfiles.ml -------------------------------------------------------------------------------- /meteredChannel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/meteredChannel.ml -------------------------------------------------------------------------------- /msgContainer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/msgContainer.ml -------------------------------------------------------------------------------- /nbMsgContainer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/nbMsgContainer.ml -------------------------------------------------------------------------------- /nbMsgContainer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/nbMsgContainer.mli -------------------------------------------------------------------------------- /number.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/number.ml -------------------------------------------------------------------------------- /number.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/number.mli -------------------------------------------------------------------------------- /number_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/number_test.ml -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/opam -------------------------------------------------------------------------------- /pMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/pMap.ml -------------------------------------------------------------------------------- /pMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/pMap.mli -------------------------------------------------------------------------------- /pSet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/pSet.ml -------------------------------------------------------------------------------- /pSet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/pSet.mli -------------------------------------------------------------------------------- /pTreeDB.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/pTreeDB.ml -------------------------------------------------------------------------------- /packet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/packet.ml -------------------------------------------------------------------------------- /packet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/packet.mli -------------------------------------------------------------------------------- /parsePGP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/parsePGP.ml -------------------------------------------------------------------------------- /parsePGP.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/parsePGP.mli -------------------------------------------------------------------------------- /pbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/pbuild.ml -------------------------------------------------------------------------------- /pdiskTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/pdiskTest.ml -------------------------------------------------------------------------------- /poly.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/poly.ml -------------------------------------------------------------------------------- /poly.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/poly.mli -------------------------------------------------------------------------------- /poly_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/poly_test.ml -------------------------------------------------------------------------------- /prefixTree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/prefixTree.ml -------------------------------------------------------------------------------- /prefixTree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/prefixTree.mli -------------------------------------------------------------------------------- /prefix_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/prefix_test.ml -------------------------------------------------------------------------------- /prime.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/prime.ml -------------------------------------------------------------------------------- /prime.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/prime.mli -------------------------------------------------------------------------------- /pstyle.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/pstyle.ml -------------------------------------------------------------------------------- /pstyle.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/pstyle.mli -------------------------------------------------------------------------------- /ptest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/ptest.ml -------------------------------------------------------------------------------- /ptree_consistency_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/ptree_consistency_test.ml -------------------------------------------------------------------------------- /ptree_db_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/ptree_db_test.ml -------------------------------------------------------------------------------- /ptree_replay.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/ptree_replay.ml -------------------------------------------------------------------------------- /ptscript.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/ptscript.ml -------------------------------------------------------------------------------- /query.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/query.ml -------------------------------------------------------------------------------- /rMisc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/rMisc.ml -------------------------------------------------------------------------------- /rMisc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/rMisc.mli -------------------------------------------------------------------------------- /recode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/recode.ml -------------------------------------------------------------------------------- /recode.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/recode.mli -------------------------------------------------------------------------------- /reconCS.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/reconCS.ml -------------------------------------------------------------------------------- /reconCS.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/reconCS.mli -------------------------------------------------------------------------------- /reconComm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/reconComm.ml -------------------------------------------------------------------------------- /reconComm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/reconComm.mli -------------------------------------------------------------------------------- /reconMessages.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/reconMessages.ml -------------------------------------------------------------------------------- /reconMessages.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/reconMessages.mli -------------------------------------------------------------------------------- /reconPTreeDb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/reconPTreeDb.ml -------------------------------------------------------------------------------- /reconPTreeDb.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/reconPTreeDb.mli -------------------------------------------------------------------------------- /reconserver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/reconserver.ml -------------------------------------------------------------------------------- /reconserver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/reconserver.mli -------------------------------------------------------------------------------- /recoverList.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/recoverList.ml -------------------------------------------------------------------------------- /recoverList.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/recoverList.mli -------------------------------------------------------------------------------- /recvmail.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/recvmail.ml -------------------------------------------------------------------------------- /recvmail.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/recvmail.mli -------------------------------------------------------------------------------- /request.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/request.ml -------------------------------------------------------------------------------- /request.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/request.mli -------------------------------------------------------------------------------- /sStream.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sStream.ml -------------------------------------------------------------------------------- /sStream.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sStream.mli -------------------------------------------------------------------------------- /sampleConfig/DB_CONFIG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleConfig/DB_CONFIG -------------------------------------------------------------------------------- /sampleConfig/aliases.sample: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleConfig/aliases.sample -------------------------------------------------------------------------------- /sampleConfig/crontab.sample: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleConfig/crontab.sample -------------------------------------------------------------------------------- /sampleConfig/mailsync: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleConfig/mailsync -------------------------------------------------------------------------------- /sampleConfig/membership: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleConfig/membership -------------------------------------------------------------------------------- /sampleConfig/procmailrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleConfig/procmailrc -------------------------------------------------------------------------------- /sampleConfig/rc.sks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleConfig/rc.sks -------------------------------------------------------------------------------- /sampleConfig/sksconf.minimal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleConfig/sksconf.minimal -------------------------------------------------------------------------------- /sampleConfig/sksconf.typical: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleConfig/sksconf.typical -------------------------------------------------------------------------------- /sampleWeb/HTML5/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleWeb/HTML5/README -------------------------------------------------------------------------------- /sampleWeb/HTML5/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleWeb/HTML5/index.html -------------------------------------------------------------------------------- /sampleWeb/HTML5/robots.txt: -------------------------------------------------------------------------------- 1 | User-agent: * 2 | Disallow: / 3 | -------------------------------------------------------------------------------- /sampleWeb/OpenPKG/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleWeb/OpenPKG/README -------------------------------------------------------------------------------- /sampleWeb/OpenPKG/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleWeb/OpenPKG/index.html -------------------------------------------------------------------------------- /sampleWeb/OpenPKG/robots.txt: -------------------------------------------------------------------------------- 1 | User-agent: * 2 | Disallow: / 3 | -------------------------------------------------------------------------------- /sampleWeb/XHTML+ES/functions.es: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleWeb/XHTML+ES/functions.es -------------------------------------------------------------------------------- /sampleWeb/XHTML+ES/index.xhtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sampleWeb/XHTML+ES/index.xhtml -------------------------------------------------------------------------------- /sampleWeb/XHTML+ES/robots.txt: -------------------------------------------------------------------------------- 1 | User-agent: * 2 | Disallow: / 3 | -------------------------------------------------------------------------------- /script.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/script.ml -------------------------------------------------------------------------------- /sendmail.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sendmail.ml -------------------------------------------------------------------------------- /server.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/server.ml -------------------------------------------------------------------------------- /server.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/server.mli -------------------------------------------------------------------------------- /settings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/settings.ml -------------------------------------------------------------------------------- /settings.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/settings.mli -------------------------------------------------------------------------------- /sks.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sks.ml -------------------------------------------------------------------------------- /sks.mli: -------------------------------------------------------------------------------- 1 | (* This is the base sks command *) 2 | -------------------------------------------------------------------------------- /sks.pod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sks.pod -------------------------------------------------------------------------------- /sks_build.bc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sks_build.bc.sh -------------------------------------------------------------------------------- /sks_build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sks_build.sh -------------------------------------------------------------------------------- /sks_do.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sks_do.ml -------------------------------------------------------------------------------- /sksclient.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sksclient.ml -------------------------------------------------------------------------------- /sksdump.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/sksdump.ml -------------------------------------------------------------------------------- /smtp_script.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/smtp_script.py -------------------------------------------------------------------------------- /spider.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/spider.ml -------------------------------------------------------------------------------- /stats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/stats.ml -------------------------------------------------------------------------------- /stats.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/stats.mli -------------------------------------------------------------------------------- /tester.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/tester.ml -------------------------------------------------------------------------------- /tz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/tz.c -------------------------------------------------------------------------------- /unit_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/unit_tests.ml -------------------------------------------------------------------------------- /update_subkeys.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/update_subkeys.ml -------------------------------------------------------------------------------- /update_subkeys.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/update_subkeys.mli -------------------------------------------------------------------------------- /utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/utils.ml -------------------------------------------------------------------------------- /utils.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/utils.mli -------------------------------------------------------------------------------- /version.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/version.ml -------------------------------------------------------------------------------- /version.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/version.mli -------------------------------------------------------------------------------- /wserver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/wserver.ml -------------------------------------------------------------------------------- /wserver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/wserver.mli -------------------------------------------------------------------------------- /zZp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/zZp.ml -------------------------------------------------------------------------------- /zZp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SKS-Keyserver/sks-keyserver/HEAD/zZp.mli --------------------------------------------------------------------------------