PR #59119 Add `libpicosat_jll` as a stdlib

Add `libpicosat_jll` as a stdlib #59119

KristofferC merged 1 commit into master from kc/libpicosat_jll

KristofferC requested a review from

giordano 1 year ago

KristofferC added stdlib

KristofferC added JLLs

KristofferC force pushed from cdd85b3c to 2ef26a39 1 year ago

KristofferC force pushed from 2ef26a39 to bd986e63 1 year ago

KristofferC force pushed from bd986e63 to 935de57c 1 year ago

KristofferC force pushed from 935de57c to 58324da8 1 year ago

giordano commented on 2025-07-30

Add `libpicosat_jll` as a stdlib

a17f5232

KristofferC force pushed from 58324da8 to a17f5232 10 days ago

KristofferC changed the title ~~add `libpicosat` as an stdlib jll library~~ Add `libpicosat_jll` as a stdlib 10 days ago

KristofferC requested a review from

StefanKarpinski 10 days ago

StefanKarpinski approved these changes on 2026-09-30

KristofferC merged 69d336b6 into master 5 days ago

KristofferC deleted the kc/libpicosat_jll branch 5 days ago

Reviewers

StefanKarpinski

giordano

Assignees

No one assigned

Labels

stdlib JLLs

Milestone

No milestone