Skip to content

Commit

Permalink
Merge pull request #61 from pi8027/fix-compilation
Browse files Browse the repository at this point in the history 
Following the recent changes from MathComp
  • Loading branch information
@CohenCyril
CohenCyril authored Mar 16, 2020
2 parents a6e4cd7 + 06ba638 commit ceaf677
Show file tree
Hide file tree
Showing 2 changed files with 1,547 additions and 888 deletions.
Loading

0 comments on commit ceaf677

Please sign in to comment.