HomeIsabelle/Phabricator

Added Inet6Sock and removed NetHostDB. This brings it in line for polyml.pyp.

Description

Added Inet6Sock and removed NetHostDB. This brings it in line for polyml.pyp.

Details

Provenance
dcjmAuthored on Jul 22 2020, 3:25 PM
Parents
rPOLYML3136b9e2ad76: Rename the configurations to build the interpreted versions so Debug and…
Branches
Unknown
Tags
Unknown