Diffusion Isabelle 47272fac86d8

support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we.
47272fac86d8
Actions

Tags

None

Subscribers

None

Description

support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we.phorge.it version "2023 week 49";

Details

Provenance

Authored on

Parents

rISABELLE12e049905c0d: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE47272fac86d8: support Phabricator on Ubuntu 22.04 LTS with PHP 8.1, using community form we..Jan 14 2024, 8:55 PM

Changes (3)

Path

Size

etc/

src/

Pure/

System/

Tools/

phabricator.scala

rISABELLE47272fac86d8

etc/options

Loading...

src/Pure/System/linux.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...