Dmitry Roshchin 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

_service

Accepting request 1237597 from home:nuklly

2025-01-14 15:38:38 +00:00

.gitattributes

Accepting request 1237597 from home:nuklly

2025-01-14 15:38:38 +00:00

.gitignore

Accepting request 1237597 from home:nuklly

2025-01-14 15:38:38 +00:00

cadical-2.1.1.obscpio

Accepting request 1237597 from home:nuklly

2025-01-14 15:38:38 +00:00

cadical.changes

Accepting request 1237597 from home:nuklly

2025-01-14 15:38:38 +00:00

cadical.obsinfo

Accepting request 1237597 from home:nuklly

2025-01-14 15:38:38 +00:00

cadical.spec

Accepting request 1237597 from home:nuklly

2025-01-14 15:38:38 +00:00

Description

No description provided

33 KiB

Languages

RPM Spec 100%