|
|
d99e336bfc
|
Accepting request 1237597 from home:nuklly
cadical is a build-time dependency of lean4.
OBS-URL: https://build.opensuse.org/request/show/1237597
OBS-URL: https://build.opensuse.org/package/show/science/cadical?expand=0&rev=1
|
2025-01-14 15:38:38 +00:00 |
|
