This file is indexed.

/usr/lib/coq/user-contrib/mathcomp/ is in libssreflect-coq 1.6.1-3build1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/lib/coq/user-contrib/mathcomp/algebra/ root:root 0o755
/usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.glob text/plain root:root 0o644 715 bytes
/usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.v text/plain root:root 0o644 353 bytes
/usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.vo application/octet-stream root:root 0o644 57.6 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.glob text/plain root:root 0o644 180.4 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.v text/plain root:root 0o644 49.1 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.vo application/octet-stream root:root 0o644 308.7 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.glob text/plain root:root 0o644 440.0 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.v text/plain root:root 0o644 45.3 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.vo application/octet-stream root:root 0o644 497.3 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.glob text/plain root:root 0o644 257.7 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.v text/plain root:root 0o644 16.1 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.vo application/octet-stream root:root 0o644 181.4 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.glob text/plain root:root 0o644 857.3 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.v text/plain root:root 0o644 109.5 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.vo application/octet-stream root:root 0o644 1.1 MB
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.glob text/plain root:root 0o644 1015.3 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.v text/plain root:root 0o644 116.8 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.vo application/octet-stream root:root 0o644 1.7 MB
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.glob text/plain root:root 0o644 410.5 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.v text/plain root:root 0o644 46.2 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.vo application/octet-stream root:root 0o644 603.7 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.glob text/plain root:root 0o644 782.2 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.v text/plain root:root 0o644 92.5 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.vo application/octet-stream root:root 0o644 802.1 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.glob text/plain root:root 0o644 156.9 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.v text/plain root:root 0o644 17.8 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.vo application/octet-stream root:root 0o644 237.9 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.glob text/plain root:root 0o644 1.3 MB
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.v text/plain root:root 0o644 127.3 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.vo application/octet-stream root:root 0o644 1.2 MB
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.glob text/plain root:root 0o644 341.4 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.v text/plain root:root 0o644 28.0 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.vo application/octet-stream root:root 0o644 287.6 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.glob text/plain root:root 0o644 108.0 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.v text/plain root:root 0o644 26.5 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.vo application/octet-stream root:root 0o644 248.7 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.glob text/plain root:root 0o644 1.2 MB
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.v text/plain root:root 0o644 238.1 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.vo application/octet-stream root:root 0o644 1.5 MB
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.glob text/plain root:root 0o644 698.0 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.v text/plain root:root 0o644 56.4 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.vo application/octet-stream root:root 0o644 437.7 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.glob text/plain root:root 0o644 1.4 MB
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.v text/plain root:root 0o644 151.7 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.vo application/octet-stream root:root 0o644 965.8 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.glob text/plain root:root 0o644 543.6 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.v text/plain root:root 0o644 75.8 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.vo application/octet-stream root:root 0o644 807.0 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.glob text/plain root:root 0o644 63.8 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.v text/plain root:root 0o644 13.2 KB
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.vo application/octet-stream root:root 0o644 99.9 KB
/usr/lib/coq/user-contrib/mathcomp/character/ root:root 0o755
/usr/lib/coq/user-contrib/mathcomp/character/all_character.glob text/plain root:root 0o644 411 bytes
/usr/lib/coq/user-contrib/mathcomp/character/all_character.v text/plain root:root 0o644 190 bytes
/usr/lib/coq/user-contrib/mathcomp/character/all_character.vo application/octet-stream root:root 0o644 60.7 KB
/usr/lib/coq/user-contrib/mathcomp/character/character.glob text/plain root:root 0o644 1.1 MB
/usr/lib/coq/user-contrib/mathcomp/character/character.v text/plain root:root 0o644 113.2 KB
/usr/lib/coq/user-contrib/mathcomp/character/character.vo application/octet-stream root:root 0o644 1.4 MB
/usr/lib/coq/user-contrib/mathcomp/character/classfun.glob text/plain root:root 0o644 865.7 KB
/usr/lib/coq/user-contrib/mathcomp/character/classfun.v text/plain root:root 0o644 96.3 KB
/usr/lib/coq/user-contrib/mathcomp/character/classfun.vo application/octet-stream root:root 0o644 1.2 MB
/usr/lib/coq/user-contrib/mathcomp/character/inertia.glob text/plain root:root 0o644 758.2 KB
/usr/lib/coq/user-contrib/mathcomp/character/inertia.v text/plain root:root 0o644 68.7 KB
/usr/lib/coq/user-contrib/mathcomp/character/inertia.vo application/octet-stream root:root 0o644 820.0 KB
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.glob text/plain root:root 0o644 361.9 KB
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.v text/plain root:root 0o644 35.5 KB
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.vo application/octet-stream root:root 0o644 523.2 KB
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.glob text/plain root:root 0o644 369.5 KB
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.v text/plain root:root 0o644 42.9 KB
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.vo application/octet-stream root:root 0o644 533.4 KB
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.glob text/plain root:root 0o644 2.0 MB
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.v text/plain root:root 0o644 236.9 KB
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.vo application/octet-stream root:root 0o644 3.2 MB
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.glob text/plain root:root 0o644 392.0 KB
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.v text/plain root:root 0o644 37.9 KB
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.vo application/octet-stream root:root 0o644 477.8 KB
/usr/lib/coq/user-contrib/mathcomp/field/ root:root 0o755
/usr/lib/coq/user-contrib/mathcomp/field/algC.glob text/plain root:root 0o644 649.2 KB
/usr/lib/coq/user-contrib/mathcomp/field/algC.v text/plain root:root 0o644 72.6 KB
/usr/lib/coq/user-contrib/mathcomp/field/algC.vo application/octet-stream root:root 0o644 709.6 KB
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.glob text/plain root:root 0o644 480.1 KB
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.v text/plain root:root 0o644 52.5 KB
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.vo application/octet-stream root:root 0o644 711.1 KB
/usr/lib/coq/user-contrib/mathcomp/field/algnum.glob text/plain root:root 0o644 327.5 KB
/usr/lib/coq/user-contrib/mathcomp/field/algnum.v text/plain root:root 0o644 38.6 KB
/usr/lib/coq/user-contrib/mathcomp/field/algnum.vo application/octet-stream root:root 0o644 558.8 KB
/usr/lib/coq/user-contrib/mathcomp/field/all_field.glob text/plain root:root 0o644 503 bytes
/usr/lib/coq/user-contrib/mathcomp/field/all_field.v text/plain root:root 0o644 264 bytes
/usr/lib/coq/user-contrib/mathcomp/field/all_field.vo application/octet-stream root:root 0o644 59.5 KB
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.glob text/plain root:root 0o644 343.3 KB
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.v text/plain root:root 0o644 24.5 KB
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.vo application/octet-stream root:root 0o644 299.6 KB
/usr/lib/coq/user-contrib/mathcomp/field/countalg.glob text/plain root:root 0o644 238.3 KB
/usr/lib/coq/user-contrib/mathcomp/field/countalg.v text/plain root:root 0o644 48.2 KB
/usr/lib/coq/user-contrib/mathcomp/field/countalg.vo application/octet-stream root:root 0o644 377.9 KB
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.glob text/plain root:root 0o644 125.1 KB
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.v text/plain root:root 0o644 14.9 KB
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.vo application/octet-stream root:root 0o644 187.5 KB
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.glob text/plain root:root 0o644 321.3 KB
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.v text/plain root:root 0o644 47.0 KB
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.vo application/octet-stream root:root 0o644 464.5 KB
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.glob text/plain root:root 0o644 470.5 KB
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.v text/plain root:root 0o644 66.9 KB
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.vo application/octet-stream root:root 0o644 3.7 MB
/usr/lib/coq/user-contrib/mathcomp/field/galois.glob text/plain root:root 0o644 576.5 KB
/usr/lib/coq/user-contrib/mathcomp/field/galois.v text/plain root:root 0o644 69.1 KB
/usr/lib/coq/user-contrib/mathcomp/field/galois.vo application/octet-stream root:root 0o644 1.0 MB
/usr/lib/coq/user-contrib/mathcomp/field/separable.glob text/plain root:root 0o644 435.9 KB
/usr/lib/coq/user-contrib/mathcomp/field/separable.v text/plain root:root 0o644 43.8 KB
/usr/lib/coq/user-contrib/mathcomp/field/separable.vo application/octet-stream root:root 0o644 530.0 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/ root:root 0o755
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.glob text/plain root:root 0o644 935.2 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.v text/plain root:root 0o644 99.1 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.vo application/octet-stream root:root 0o644 1010.7 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.glob text/plain root:root 0o644 434 bytes
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.v text/plain root:root 0o644 202 bytes
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.vo application/octet-stream root:root 0o644 30.2 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.glob text/plain root:root 0o644 136.5 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.v text/plain root:root 0o644 16.5 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.vo application/octet-stream root:root 0o644 190.4 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.glob text/plain root:root 0o644 860.2 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.v text/plain root:root 0o644 112.7 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.vo application/octet-stream root:root 0o644 694.5 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.glob text/plain root:root 0o644 606.4 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.v text/plain root:root 0o644 62.1 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.vo application/octet-stream root:root 0o644 864.0 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.glob text/plain root:root 0o644 530.6 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.v text/plain root:root 0o644 52.5 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.vo application/octet-stream root:root 0o644 523.5 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.glob text/plain root:root 0o644 175.8 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.v text/plain root:root 0o644 23.7 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.vo application/octet-stream root:root 0o644 239.5 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.glob text/plain root:root 0o644 42.2 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.v text/plain root:root 0o644 11.1 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.vo application/octet-stream root:root 0o644 92.9 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.glob text/plain root:root 0o644 313.7 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.v text/plain root:root 0o644 33.9 KB
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.vo application/octet-stream root:root 0o644 305.4 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/ root:root 0o755
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.glob text/plain root:root 0o644 831.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.v text/plain root:root 0o644 88.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.vo application/octet-stream root:root 0o644 935.7 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.glob text/plain root:root 0o644 892 bytes
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.v text/plain root:root 0o644 450 bytes
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.vo application/octet-stream root:root 0o644 32.4 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.glob text/plain root:root 0o644 234.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.v text/plain root:root 0o644 23.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.vo application/octet-stream root:root 0o644 297.6 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/center.glob text/plain root:root 0o644 218.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/center.v text/plain root:root 0o644 24.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/center.vo application/octet-stream root:root 0o644 422.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.glob text/plain root:root 0o644 165.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.v text/plain root:root 0o644 13.1 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.vo application/octet-stream root:root 0o644 139.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.glob text/plain root:root 0o644 299.3 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.v text/plain root:root 0o644 32.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.vo application/octet-stream root:root 0o644 302.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.glob text/plain root:root 0o644 408.2 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.v text/plain root:root 0o644 41.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.vo application/octet-stream root:root 0o644 530.6 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.glob text/plain root:root 0o644 1.4 MB
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.v text/plain root:root 0o644 119.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.vo application/octet-stream root:root 0o644 2.0 MB
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.glob text/plain root:root 0o644 269.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.v text/plain root:root 0o644 26.6 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.vo application/octet-stream root:root 0o644 326.7 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.glob text/plain root:root 0o644 304.3 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.v text/plain root:root 0o644 34.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.vo application/octet-stream root:root 0o644 365.3 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.glob text/plain root:root 0o644 93.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.v text/plain root:root 0o644 19.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.vo application/octet-stream root:root 0o644 128.2 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.glob text/plain root:root 0o644 140.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.v text/plain root:root 0o644 20.6 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.vo application/octet-stream root:root 0o644 217.3 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.glob text/plain root:root 0o644 439.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.v text/plain root:root 0o644 41.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.vo application/octet-stream root:root 0o644 448.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.glob text/plain root:root 0o644 220.7 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.v text/plain root:root 0o644 29.1 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.vo application/octet-stream root:root 0o644 249.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.glob text/plain root:root 0o644 771.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.v text/plain root:root 0o644 73.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.vo application/octet-stream root:root 0o644 877.5 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.glob text/plain root:root 0o644 278.1 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.v text/plain root:root 0o644 27.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.vo application/octet-stream root:root 0o644 254.6 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.glob text/plain root:root 0o644 472.7 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.v text/plain root:root 0o644 50.4 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.vo application/octet-stream root:root 0o644 359.2 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.glob text/plain root:root 0o644 126.7 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.v text/plain root:root 0o644 14.8 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.vo application/octet-stream root:root 0o644 196.9 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.glob text/plain root:root 0o644 285.0 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.v text/plain root:root 0o644 27.4 KB
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.vo application/octet-stream root:root 0o644 284.5 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ root:root 0o755
/usr/lib/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.glob text/plain root:root 0o644 884 bytes
/usr/lib/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.v text/plain root:root 0o644 422 bytes
/usr/lib/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.vo application/octet-stream root:root 0o644 29.8 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.glob text/plain root:root 0o644 502.5 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.v text/plain root:root 0o644 72.2 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.vo application/octet-stream root:root 0o644 402.7 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.glob text/plain root:root 0o644 223.4 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.v text/plain root:root 0o644 23.0 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.vo application/octet-stream root:root 0o644 245.7 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.glob text/plain root:root 0o644 104.6 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.v text/plain root:root 0o644 27.4 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.vo application/octet-stream root:root 0o644 168.1 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.glob text/plain root:root 0o644 280.5 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.v text/plain root:root 0o644 33.8 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.vo application/octet-stream root:root 0o644 230.8 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.glob text/plain root:root 0o644 112.7 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.v text/plain root:root 0o644 31.1 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.vo application/octet-stream root:root 0o644 125.4 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.glob text/plain root:root 0o644 56.7 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.v text/plain root:root 0o644 11.7 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.vo application/octet-stream root:root 0o644 114.7 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.glob text/plain root:root 0o644 162.7 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.v text/plain root:root 0o644 26.2 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.vo application/octet-stream root:root 0o644 219.7 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.glob text/plain root:root 0o644 618.6 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.v text/plain root:root 0o644 83.0 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.vo application/octet-stream root:root 0o644 561.1 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.glob text/plain root:root 0o644 413.8 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.v text/plain root:root 0o644 75.6 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.vo application/octet-stream root:root 0o644 423.1 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.glob text/plain root:root 0o644 103.1 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.v text/plain root:root 0o644 27.1 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.vo application/octet-stream root:root 0o644 143.6 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.glob text/plain root:root 0o644 182.8 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.v text/plain root:root 0o644 33.2 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.vo application/octet-stream root:root 0o644 257.5 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.glob text/plain root:root 0o644 472.5 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.v text/plain root:root 0o644 56.0 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.vo application/octet-stream root:root 0o644 434.4 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.glob text/plain root:root 0o644 513.6 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.v text/plain root:root 0o644 88.5 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.vo application/octet-stream root:root 0o644 651.1 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.glob text/plain root:root 0o644 281.2 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.v text/plain root:root 0o644 86.0 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.vo application/octet-stream root:root 0o644 291.7 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.glob text/plain root:root 0o644 16.6 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.v text/plain root:root 0o644 22.0 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.vo application/octet-stream root:root 0o644 35.1 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.glob text/plain root:root 0o644 63.3 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.v text/plain root:root 0o644 40.9 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.vo application/octet-stream root:root 0o644 87.1 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.glob text/plain root:root 0o644 363.8 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.v text/plain root:root 0o644 56.8 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.vo application/octet-stream root:root 0o644 311.4 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.glob text/plain root:root 0o644 79.7 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.v text/plain root:root 0o644 14.6 KB
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.vo application/octet-stream root:root 0o644 126.5 KB