data/ssreflect-1.11.0/.dockerignore: ASCII text data/ssreflect-1.11.0/AUTHORS: ISO-8859 text data/ssreflect-1.11.0/CHANGELOG.md: ASCII text, with very long lines data/ssreflect-1.11.0/CHANGELOG_UNRELEASED.md: ASCII text data/ssreflect-1.11.0/CONTRIBUTING.md: ASCII text, with very long lines data/ssreflect-1.11.0/CeCILL-B: ISO-8859 text, with CRLF line terminators data/ssreflect-1.11.0/Dockerfile: ASCII text data/ssreflect-1.11.0/Dockerfile.make: ASCII text data/ssreflect-1.11.0/INSTALL.md: ASCII text data/ssreflect-1.11.0/README.md: ASCII text, with very long lines data/ssreflect-1.11.0/config.nix: ASCII text data/ssreflect-1.11.0/coq-mathcomp-algebra.opam: UTF-8 Unicode text, with very long lines data/ssreflect-1.11.0/coq-mathcomp-character.opam: UTF-8 Unicode text, with very long lines data/ssreflect-1.11.0/coq-mathcomp-field.opam: UTF-8 Unicode text, with very long lines data/ssreflect-1.11.0/coq-mathcomp-fingroup.opam: UTF-8 Unicode text, with very long lines data/ssreflect-1.11.0/coq-mathcomp-solvable.opam: UTF-8 Unicode text, with very long lines data/ssreflect-1.11.0/coq-mathcomp-ssreflect.opam: UTF-8 Unicode text, with very long lines data/ssreflect-1.11.0/default.nix: ASCII text data/ssreflect-1.11.0/docs/index.html: HTML document, ASCII text data/ssreflect-1.11.0/etc/ANNOUNCE-1.6.md: ASCII text data/ssreflect-1.11.0/etc/ANNOUNCE-github.md: ASCII text data/ssreflect-1.11.0/etc/NOTICE: ASCII text data/ssreflect-1.11.0/etc/artwork/coqdoc.css: ASCII text, with CRLF line terminators data/ssreflect-1.11.0/etc/artwork/jc.png: PNG image data, 38 x 38, 8-bit/color RGBA, non-interlaced data/ssreflect-1.11.0/etc/buildlibgraph: Lua script, ASCII text executable data/ssreflect-1.11.0/etc/utils/builddoc_lib.sh: HTML document, UTF-8 Unicode text data/ssreflect-1.11.0/etc/utils/dependtodot.ml: ISO-8859 text data/ssreflect-1.11.0/etc/utils/hierarchy.ml: Ruby script, ASCII text data/ssreflect-1.11.0/etc/utils/packager: Bourne-Again shell script, ASCII text executable data/ssreflect-1.11.0/etc/win-installer.nsi: ASCII text data/ssreflect-1.11.0/mathcomp/Make: ASCII text data/ssreflect-1.11.0/mathcomp/Make.test-suite: ASCII text data/ssreflect-1.11.0/mathcomp/Makefile: ASCII text data/ssreflect-1.11.0/mathcomp/Makefile.common: automake makefile script, ASCII text data/ssreflect-1.11.0/mathcomp/_CoqProject: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/Make: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/Makefile: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/all_algebra.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/countalg.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/finalg.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/fraction.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/intdiv.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/interval.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/matrix.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/mxalgebra.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/mxpoly.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/poly.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/polyXY.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/polydiv.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/rat.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/ring_quotient.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/ssralg.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/ssrint.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/ssrnum.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/vector.v: ASCII text data/ssreflect-1.11.0/mathcomp/algebra/zmodp.v: ASCII text data/ssreflect-1.11.0/mathcomp/all/Makefile: ASCII text data/ssreflect-1.11.0/mathcomp/all/all.v: ASCII text data/ssreflect-1.11.0/mathcomp/character/Make: ASCII text data/ssreflect-1.11.0/mathcomp/character/Makefile: ASCII text data/ssreflect-1.11.0/mathcomp/character/all_character.v: ASCII text data/ssreflect-1.11.0/mathcomp/character/character.v: ASCII text data/ssreflect-1.11.0/mathcomp/character/classfun.v: ASCII text data/ssreflect-1.11.0/mathcomp/character/inertia.v: ASCII text data/ssreflect-1.11.0/mathcomp/character/integral_char.v: ASCII text data/ssreflect-1.11.0/mathcomp/character/mxabelem.v: ASCII text data/ssreflect-1.11.0/mathcomp/character/mxrepresentation.v: ASCII text data/ssreflect-1.11.0/mathcomp/character/vcharacter.v: ASCII text data/ssreflect-1.11.0/mathcomp/field/Make: ASCII text data/ssreflect-1.11.0/mathcomp/field/Makefile: ASCII text data/ssreflect-1.11.0/mathcomp/field/algC.v: ASCII text data/ssreflect-1.11.0/mathcomp/field/algebraics_fundamentals.v: ASCII text data/ssreflect-1.11.0/mathcomp/field/algnum.v: ASCII text data/ssreflect-1.11.0/mathcomp/field/all_field.v: ASCII text data/ssreflect-1.11.0/mathcomp/field/closed_field.v: ASCII text data/ssreflect-1.11.0/mathcomp/field/cyclotomic.v: ASCII text data/ssreflect-1.11.0/mathcomp/field/falgebra.v: ASCII text data/ssreflect-1.11.0/mathcomp/field/fieldext.v: ASCII text data/ssreflect-1.11.0/mathcomp/field/finfield.v: ASCII text data/ssreflect-1.11.0/mathcomp/field/galois.v: ASCII text data/ssreflect-1.11.0/mathcomp/field/separable.v: ASCII text data/ssreflect-1.11.0/mathcomp/fingroup/Make: ASCII text data/ssreflect-1.11.0/mathcomp/fingroup/Makefile: ASCII text data/ssreflect-1.11.0/mathcomp/fingroup/action.v: ASCII text data/ssreflect-1.11.0/mathcomp/fingroup/all_fingroup.v: ASCII text data/ssreflect-1.11.0/mathcomp/fingroup/automorphism.v: ASCII text data/ssreflect-1.11.0/mathcomp/fingroup/fingroup.v: ASCII text data/ssreflect-1.11.0/mathcomp/fingroup/gproduct.v: ASCII text data/ssreflect-1.11.0/mathcomp/fingroup/morphism.v: ASCII text data/ssreflect-1.11.0/mathcomp/fingroup/perm.v: ASCII text data/ssreflect-1.11.0/mathcomp/fingroup/presentation.v: ASCII text data/ssreflect-1.11.0/mathcomp/fingroup/quotient.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/Make: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/Makefile: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/abelian.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/all_solvable.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/alt.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/burnside_app.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/center.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/commutator.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/cyclic.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/extraspecial.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/extremal.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/finmodule.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/frobenius.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/gfunctor.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/gseries.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/hall.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/jordanholder.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/maximal.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/nilpotent.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/pgroup.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/primitive_action.v: ASCII text data/ssreflect-1.11.0/mathcomp/solvable/sylow.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/INSTALL.pg: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/Make: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/Makefile: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/all_ssreflect.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/bigop.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/binomial.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/choice.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/div.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/eqtype.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/finfun.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/fingraph.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/finset.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/fintype.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/generic_quotient.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/order.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/path.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/pg-ssr.el: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/prime.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/seq.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/ssrAC.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/ssrbool.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/ssreflect.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/ssrfun.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/ssrmatching.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/ssrnat.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/ssrnotations.v: ASCII text data/ssreflect-1.11.0/mathcomp/ssreflect/tuple.v: ASCII text data/ssreflect-1.11.0/mathcomp/test_suite/test_guard.v: ASCII text data/ssreflect-1.11.0/mathcomp/test_suite/test_ssrAC.v: ASCII text data/ssreflect-1.11.0/package.nix: ASCII text data/ssreflect-1.11.0/debian/README.source: UTF-8 Unicode text data/ssreflect-1.11.0/debian/changelog: UTF-8 Unicode text data/ssreflect-1.11.0/debian/control: UTF-8 Unicode text data/ssreflect-1.11.0/debian/copyright: UTF-8 Unicode text data/ssreflect-1.11.0/debian/gbp.conf: ASCII text data/ssreflect-1.11.0/debian/libssreflect-coq.README.Debian: UTF-8 Unicode text data/ssreflect-1.11.0/debian/libssreflect-coq.doc-base: ASCII text data/ssreflect-1.11.0/debian/libssreflect-coq.docs: ASCII text data/ssreflect-1.11.0/debian/libssreflect-coq.examples: ASCII text data/ssreflect-1.11.0/debian/libssreflect-coq.install: ASCII text data/ssreflect-1.11.0/debian/libssreflect-coq.lintian-overrides: ASCII text data/ssreflect-1.11.0/debian/rules: a /usr/bin/make -f script, ASCII text executable data/ssreflect-1.11.0/debian/source/format: ASCII text, with no line terminators data/ssreflect-1.11.0/debian/tests/control: ASCII text data/ssreflect-1.11.0/debian/tests/loadssreflect: POSIX shell script, ASCII text executable data/ssreflect-1.11.0/debian/tests/loadssreflect.v: ASCII text data/ssreflect-1.11.0/debian/watch: ASCII text data/ssreflect-1.11.0/.pc/.version: ASCII text data/ssreflect-1.11.0/.pc/.quilt_patches: ASCII text data/ssreflect-1.11.0/.pc/.quilt_series: ASCII text data/ssreflect-1.11.0/.pc/applied-patches: empty