Skip to content

Commit d4da349

Browse files
MSoegtropIMCMSoegtropIMC
committed
coq-mathcomp-ssreflect: removed local opam patch - available upstream
1 parent 71df6bb commit d4da349

1 file changed

Lines changed: 0 additions & 29 deletions

File tree

  • opam/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.12.0

‎opam/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.12.0/opam‎

Lines changed: 0 additions & 29 deletions
This file was deleted.

0 commit comments

Comments
 (0)