Database Dumps of

NameLast modifiedSizeDescription
2016-02-18.sql.gz 2016-02-18 21:34 65Mcontains de and pl abstracts
2016-01-11.sql.gz 2016-01-11 14:22 65Mfirst dump
2016-04-07.sql.gz 2016-04-07 13:28 66Mfixed full-name search
2022-11-28.sql.gz 2022-11-28 22:07 66Mlast dump of old layout
latest.sql.gz 2022-11-28 22:07 66Mlatest dump

These dumps each contain a single MySQL file that you can use to establish a local copy of

How to in six easy steps:

  1. Get the code. Either download it as a ZIP file or clone it via git:
    git clone
  2. In that folder, that you extracted or cloned, (one above the index.php file) create a file db.conf with the content:
  3. Download the latest dump from the list above and unzip it:
    curl | gunzip > init.sql
  4. Then start the Docker images:
    docker compose up
  5. Import the SQL into the Docker db:
    cat init.sql | docker exec <DB CONTAINER> mysql codepts
  6. Presto! Your local clone is ready at localhost:8000.

Questions? Ask us on Mastodon,, or drop us an e-mail. You can report bugs or problems at Github.