php7.2-dev 7.2.15-0ubuntu2 (arm64 binary) in ubuntu disco

 This package provides the files from the PHP7.2 source needed for compiling
 additional modules.
 .
 PHP (recursive acronym for PHP: Hypertext Preprocessor) is a widely-used
 open source general-purpose scripting language that is especially suited
 for web development and can be embedded into HTML.

Details

Package version:
7.2.15-0ubuntu2
Source:
php7.2 7.2.15-0ubuntu2 source package in Ubuntu
Status:
Superseded
Component:
main
Priority:
Optional