Ana Guerrero ba7cd440c5 Accepting request 1343992 from science ...

- Require ocaml-rpm-macros in build for generation of dependencies.
- Now we no longer need the explicit rocq-devel runtime dependency.

OBS-URL: https://build.opensuse.org/request/show/1343992
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/rocq-stdlib?expand=0&rev=2

2026-04-01 17:51:54 +00:00

_constraints

Accepting request 1335596 from home:aaronpuchert

2026-03-22 16:49:24 +00:00

.gitattributes

Accepting request 1335596 from home:aaronpuchert

2026-03-22 16:49:24 +00:00

.gitignore

Accepting request 1335596 from home:aaronpuchert

2026-03-22 16:49:24 +00:00

rocq-refman-stdlib-9.1.0.tar.xz

Accepting request 1335596 from home:aaronpuchert

2026-03-22 16:49:24 +00:00

rocq-stdlib-9.1.0.tar.gz

Accepting request 1335596 from home:aaronpuchert

2026-03-22 16:49:24 +00:00

rocq-stdlib-doc-9.1.0.tar.xz

Accepting request 1335596 from home:aaronpuchert

2026-03-22 16:49:24 +00:00

rocq-stdlib-rpmlintrc

Accepting request 1335596 from home:aaronpuchert

2026-03-22 16:49:24 +00:00

rocq-stdlib.changes

- Require ocaml-rpm-macros in build for generation of dependencies.

2026-03-31 23:24:26 +00:00

rocq-stdlib.spec

- Require ocaml-rpm-macros in build for generation of dependencies.

2026-03-31 23:24:26 +00:00

Description

No description provided

36 KiB

Languages

XML 100%