Skip to content

Commit fa7e209

Browse files
samuelgruettersamuelgruetter
authored
Merge pull request #146 from tchajed/rename-opam
Rename opam file to match upstream package name
2 parents f595ddf + 3f9608a commit fa7e209

1 file changed

File tree

coqutil.opam renamed to coq-coqutil.opam

File renamed without changes.

0 commit comments

Comments
 (0)