packager: coq -> rocq #1905

Open

Labels

packaging/releasing

Milestone

opened

on Mar 16, 2026

analysis/etc/packager

Line 47 in 101040c

| $SED -r "s?.*coq-mathcomp-([^/]+).opam?\1?" \

produce rocq-* packages instead of coq-* ones

Metadata

Assignees

No one assigned

Labels

packaging/releasing

Type

No type

Projects

No projects

Milestone

1.17.0

Relationships

None yet

Development

No branches or pull requests