Skip to content

Commit d84372f

Browse files
spittersspitters
authored
Merge pull request #76 from Zimmi48/fix-opam-filename
Fix name of opam file to correspond to name in opam archive.
2 parents c03cf88 + d85d843 commit d84372f

1 file changed

File tree

math-classes.opam renamed to coq-math-classes.opam

File renamed without changes.

0 commit comments

Comments
 (0)