Skip to content

Commit

Permalink
Opam: remove local package coq-mathcomp-multinomials.2.3.0 (available…
Browse files Browse the repository at this point in the history 
… upstream)
  • Loading branch information
@MSoegtropIMC
MSoegtropIMC committed Dec 16, 2024
1 parent d01b30c commit c40acb7
Showing 1 changed file with 0 additions and 31 deletions.
31 changes: 0 additions & 31 deletions ...-archive/released/packages/coq-mathcomp-multinomials/coq-mathcomp-multinomials.2.3.0/opam
View file

This file was deleted.

0 comments on commit c40acb7

Please sign in to comment.