PEP 738: Mark as Final

[mhsmith]

The Android x86_64 buildbot is not yet up and running, so this is not quite ready to be merged. The aarch64 and x86_64 buildbots are both now stable.

@freakboy3742: I assume you're OK with being added as a second core team contact for Android?

• Final implementation has been merged (including tests and docs)
  • gh-116622: Complete Android documentation cpython#124259
  • gh-99108: Disable HACL SIMD code on older versions of Android cpython#124304
• PEP matches the final implementation
• Any substantial changes since the accepted version approved by the SC/PEP delegate
  • There were no substantial changes, only minor adjustments to the android_ver function, as discussed here.
• Pull request title in appropriate format (PEP 123: Mark Final)
• Status changed to Final (and Python-Version is correct)
• Canonical docs/spec linked with a canonical-doc directive
  (or canonical-pypa-spec for packaging PEPs,
  or canonical-typing-spec for typing PEPs)
• Closes Add support for Android as a target platform cpython#116622

---

📚 Documentation preview 📚: https://pep-previews--3982.org.readthedocs.build/

[freakboy3742]

Confirming that yes - I'm OK being added as a contact for Android platform support.

One other comment inline.

[CAM-Gerlach]

Thanks for being thorough here! There is a small changed needed to fix the intersphinx links to the canonical doc; it should be straightforward but I can commit it for you if you like.

[AA-Turner]

@mhsmith is there anything outstanding on this PR? [Edit: waiting for 3.13.0 final release for the using-android target to work]

A

[mhsmith]

@AA-Turner changed the title PEP 738: Mark Final PEP 738: Mark as Final

You might want to update the title instructions in the PR template.

[willingc]

Thanks @mhsmith. Do you want to take this PR out of draft mode?

[hugovk]

3.13.0 final is out! https://discuss.python.org/t/python-3-13-0-final-has-been-released/66972

https://docs.python.org/3/ is now 3.13!

I've restarted the CI but it says:

/home/runner/work/peps/peps/peps/pep-0738.rst:12: WARNING: undefined label: 'python:using-android' [ref.ref]

[AA-Turner]

I purged https://docs.python.org/3/objects.inv and re-ran again but still failing...

The targets are there in objects.inv, though:

python -m sphinx.ext.intersphinx https://docs.python.org/3/objects.inv | rg android
py:attribute
    test.support.is_android                                                          : library/test.html#test.support.is_android
py:function
    platform.android_ver                                                             : library/platform.html#platform.android_ver
    sys.getandroidapilevel                                                           : library/sys.html#sys.getandroidapilevel
std:doc
    using/android                            Using Python on Android                 : using/android.html
std:label
    using-android                            Using Python on Android                 : using/android.html#using-android