Diffusion Isabelle 475074795dca

update to sqlite-3.45.2.0: clarified component name, following postgresql;
475074795dca
Actions

Tags

None

Subscribers

None

Description

update to sqlite-3.45.2.0: clarified component name, following postgresql;

Details

Provenance

Authored on

Parents

rISABELLEe5fda68d4996: activate postgresql-42.7.3;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE475074795dca: update to sqlite-3.45.2.0: clarified component name, following postgresql;.Mar 21 2024, 2:43 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

src/

Pure/

Admin/

component_sqlite.scala

rISABELLE475074795dca

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Pure/Admin/component_sqlite.scala

Loading...