/

• .dockerignore
• .gitattributes
• .github
• .gitignore
• .gitlab-ci.yml
• .mailmap
• AUTHORS
• CHANGELOG.md
• CHANGELOG_UNRELEASED.md
• CONTRIBUTING.md
• CeCILL-B
• Dockerfile
• Dockerfile.make
• INSTALL.md
• README.md
• config.nix
• coq-mathcomp-algebra.opam
• coq-mathcomp-character.opam
• coq-mathcomp-field.opam
• coq-mathcomp-fingroup.opam
• coq-mathcomp-solvable.opam
• coq-mathcomp-ssreflect.opam
• default.nix
• docs
• etc
• mathcomp
• package.nix