Skip to content

Commit

Permalink
fixing dependencies
Browse files Browse the repository at this point in the history
  • Loading branch information
@aleksnanevski
aleksnanevski committed Jan 15, 2025
1 parent 3d17b41 commit 337a236
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions meta.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -48,8 +48,8 @@ tested_coq_opam_versions:
repo: 'mathcomp/mathcomp'
- version: '2.3.0-coq-8.20'
repo: 'mathcomp/mathcomp'
- version: 'coq-dev'
repo: 'mathcomp/mathcomp-dev'
- version: 'latest-coq-dev'
repo: 'mathcomp/mathcomp'

dependencies:
- opam:
Expand Down

0 comments on commit 337a236

Please sign in to comment.