Code

Updated swipl devel to 9.1.5#14078

Code

Merged

yosifkit merged 1 commit intodocker-library:masterdocker-library/official-images:masterfrom JanWielemaker:swipl-9.1.5JanWielemaker/official-images:swipl-9.1.5Copy head branch name to clipboardFeb 13, 2023

+3-3

Commits

Commits on Feb 13, 2023

• Updated swipl devel to 9.1.5

  JanWielemaker

  committed
  e77ad36