For Android apps, JAR files in Maven repositories are the standard way to use libraries. The _geoip_ and _geoip6_ files are a kind of library of data. So this adds the `-make-maven-artifacts` option to _src/config/mmdb-convert.py_ to generate the standard Maven artifacts of these datafiles that are directly consumable in a standard Android build setup, e.g. in _build.gradle_: ``` implementation 'org.torproject:geoip:20191217' ``` These should be reproducible running them anywhere, since the timestamps come from the MaxMind file. https://github.com/torproject/tor/pull/1631