libssreflect-coq_1.9.0+dfsg-1_all.deb


Advertisement

Description

libssreflect-coq - Mathematical Components library for Coq

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename libssreflect-coq_1.9.0+dfsg-1_all.deb
Package name libssreflect-coq
Package version 1.9.0+dfsg
Package release 1
Package architecture all
Package type deb
Category math
Homepage https://math-comp.github.io/math-comp/
License -
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Download size 25.63 MB
Installed size 143.80 MB

Alternatives

Package Version Architecture Repository
libssreflect-coq_1.9.0+dfsg-1_all.deb 1.9.0+dfsg all Debian Main
libssreflect-coq - - -

Requires

Name Value
coq-8.9.1+4.05.0 -
libcoq-ocaml -

Provides

Name Value
libmathcomp-coq -
ssreflect -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libssreflect-coq_1.9.0+dfsg-1_all.deb
Source Package ssreflect

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libssreflect-coq deb package:
    # sudo apt-get install libssreflect-coq

Files

Path
/usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.v
/usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/countalg.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/countalg.v
/usr/lib/coq/user-contrib/mathcomp/algebra/countalg.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.v
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/fraction.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/fraction.v
/usr/lib/coq/user-contrib/mathcomp/algebra/fraction.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.v
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.v
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.v
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.v
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.v
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.v
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.v
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.v
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.v
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.v
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.v
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.v
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.v
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.v
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.vo
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.glob
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.v
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.vo
/usr/lib/coq/user-contrib/mathcomp/all/all.glob
/usr/lib/coq/user-contrib/mathcomp/all/all.v
/usr/lib/coq/user-contrib/mathcomp/all/all.vo
/usr/lib/coq/user-contrib/mathcomp/character/all_character.glob
/usr/lib/coq/user-contrib/mathcomp/character/all_character.v
/usr/lib/coq/user-contrib/mathcomp/character/all_character.vo
/usr/lib/coq/user-contrib/mathcomp/character/character.glob
/usr/lib/coq/user-contrib/mathcomp/character/character.v
/usr/lib/coq/user-contrib/mathcomp/character/character.vo
/usr/lib/coq/user-contrib/mathcomp/character/classfun.glob
/usr/lib/coq/user-contrib/mathcomp/character/classfun.v
/usr/lib/coq/user-contrib/mathcomp/character/classfun.vo
/usr/lib/coq/user-contrib/mathcomp/character/inertia.glob
/usr/lib/coq/user-contrib/mathcomp/character/inertia.v
/usr/lib/coq/user-contrib/mathcomp/character/inertia.vo
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.glob
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.v
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.vo
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.glob
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.v
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.vo
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.glob
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.v
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.vo
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.glob
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.v
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.vo
/usr/lib/coq/user-contrib/mathcomp/field/algC.glob
/usr/lib/coq/user-contrib/mathcomp/field/algC.v
/usr/lib/coq/user-contrib/mathcomp/field/algC.vo
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.glob
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.v
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.vo
/usr/lib/coq/user-contrib/mathcomp/field/algnum.glob
/usr/lib/coq/user-contrib/mathcomp/field/algnum.v
/usr/lib/coq/user-contrib/mathcomp/field/algnum.vo
/usr/lib/coq/user-contrib/mathcomp/field/all_field.glob
/usr/lib/coq/user-contrib/mathcomp/field/all_field.v
/usr/lib/coq/user-contrib/mathcomp/field/all_field.vo
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.glob
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.v
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.vo
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.glob
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.v
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.vo
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.glob
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.v
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.vo
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.glob
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.v
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.vo
/usr/lib/coq/user-contrib/mathcomp/field/finfield.glob
/usr/lib/coq/user-contrib/mathcomp/field/finfield.v
/usr/lib/coq/user-contrib/mathcomp/field/finfield.vo
/usr/lib/coq/user-contrib/mathcomp/field/galois.glob
/usr/lib/coq/user-contrib/mathcomp/field/galois.v
/usr/lib/coq/user-contrib/mathcomp/field/galois.vo
/usr/lib/coq/user-contrib/mathcomp/field/separable.glob
/usr/lib/coq/user-contrib/mathcomp/field/separable.v
/usr/lib/coq/user-contrib/mathcomp/field/separable.vo
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.glob
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.v
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.vo
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.glob
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.v
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.vo
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.glob
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.v
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.vo
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.glob
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.v
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.vo
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.glob
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.v
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.vo
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.glob
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.v
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.vo
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.glob
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.v
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.vo
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.glob
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.v
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.vo
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.glob
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.v
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.v
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.v
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.v
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/burnside_app.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/burnside_app.v
/usr/lib/coq/user-contrib/mathcomp/solvable/burnside_app.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/center.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/center.v
/usr/lib/coq/user-contrib/mathcomp/solvable/center.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.v
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.v
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.v
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.v
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.v
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.v
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.v
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.v
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.v
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.v
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.v
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.v
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.v
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.v
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.vo
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.glob
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.v
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrmatching.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrmatching.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrmatching.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnotations.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnotations.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnotations.vo
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.glob
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.v
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.vo
/usr/lib/coq/user-contrib/mathcomp/test_suite/hierarchy_test.glob
/usr/lib/coq/user-contrib/mathcomp/test_suite/hierarchy_test.v
/usr/lib/coq/user-contrib/mathcomp/test_suite/hierarchy_test.vo
/usr/share/doc-base/mathematical-components-library
/usr/share/doc/libssreflect-coq/README.Debian
/usr/share/doc/libssreflect-coq/README.md
/usr/share/doc/libssreflect-coq/changelog.Debian.gz
/usr/share/doc/libssreflect-coq/changelog.gz
/usr/share/doc/libssreflect-coq/copyright
/usr/share/doc/libssreflect-coq/examples/pg-ssr.el
/usr/share/doc/libssreflect-coq/htmldoc/Makefile
/usr/share/doc/libssreflect-coq/htmldoc/buildlibgraph.gz
/usr/share/doc/libssreflect-coq/htmldoc/coqdoc.css
/usr/share/doc/libssreflect-coq/htmldoc/depend.gz
/usr/share/doc/libssreflect-coq/htmldoc/depend.js
/usr/share/doc/libssreflect-coq/htmldoc/index.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_axiom__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_constructor__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_definition__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_global__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_inductive__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_lemma__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_library__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_module__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_notation__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_projection__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_record__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_section__.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_*.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_A.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_B.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_C.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_D.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_E.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_F.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_G.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_H.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_I.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_J.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_K.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_L.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_M.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_N.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_O.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_P.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_Q.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_R.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_S.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_T.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_U.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_V.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_W.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_X.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_Y.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable_Z.html
/usr/share/doc/libssreflect-coq/htmldoc/index_variable__.html
/usr/share/doc/libssreflect-coq/htmldoc/libgraph.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.all_algebra.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.countalg.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.finalg.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.fraction.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.intdiv.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.interval.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.matrix.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.mxalgebra.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.mxpoly.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.poly.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.polyXY.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.polydiv.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.rat.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.ring_quotient.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.ssralg.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.ssrint.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.ssrnum.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.vector.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.algebra.zmodp.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.all.all.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.character.all_character.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.character.character.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.character.classfun.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.character.inertia.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.character.integral_char.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.character.mxabelem.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.character.mxrepresentation.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.character.vcharacter.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.algC.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.algebraics_fundamentals.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.algnum.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.all_field.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.closed_field.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.countalg.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.cyclotomic.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.falgebra.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.fieldext.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.finfield.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.galois.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.field.separable.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.fingroup.action.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.fingroup.all_fingroup.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.fingroup.automorphism.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.fingroup.fingroup.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.fingroup.gproduct.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.fingroup.morphism.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.fingroup.perm.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.fingroup.presentation.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.fingroup.quotient.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.abelian.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.all_solvable.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.alt.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.burnside_app.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.center.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.commutator.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.cyclic.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.extraspecial.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.extremal.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.finmodule.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.frobenius.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.gfunctor.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.gseries.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.hall.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.jordanholder.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.maximal.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.nilpotent.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.pgroup.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.primitive_action.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.solvable.sylow.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.all_ssreflect.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.bigop.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.binomial.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.choice.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.div.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.eqtype.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.finfun.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.fingraph.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.finset.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.fintype.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.generic_quotient.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.path.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.prime.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.seq.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.ssrbool.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.ssreflect.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.ssrfun.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.ssrmatching.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.ssrnat.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.ssrnotations.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.ssreflect.tuple.html
/usr/share/doc/libssreflect-coq/htmldoc/mathcomp.test_suite.hierarchy_test.html

Changelog

2019-08-20 - Ralf Treinen <treinen@debian.org>
ssreflect (1.9.0+dfsg-1) unstable; urgency=medium
* New upstream release.
Repack upstream (remove docs/htmldoc/js/ and docs/javascripts/).
* Build-depends: minimal coq version 8.7, according to opam file.
* Standards-Version 4.4.0 (no change)
* debian/libssreflect-coq.docs: ChangeLog => CHANGELOG.md
2019-02-16 - Ralf Treinen <treinen@debian.org>
ssreflect (1.7.0+dfsg-1) unstable; urgency=medium
* New upstream version. This fixes a FTBFS with coq 8.9.0 (closes: #919461)
Repack upstream (remove docs/htmldoc/js/)
* Update debian/watch to github
* Update Vcs-* to salsa
* Standards-Version 4.3.0
- https in format string of debian/copyright
* d/rules: fix installation of htmldocs
* Drop packages libssreflect-ocaml[-dev] as the plugin is now included in
the coq package.
* d/libssreflect-coq.docs: adjust pathnames of files
* d/copyright: drop short paragraph at first occurrence of CeCILL-B
* Build-depend on debhelper-compat (=12)
- use dh_missing (instead of dh_install) with --fail-missing
* No more compilation with ocaml:
- dropped build-dependencies on ocaml stuff
- dropped --with-ocaml flag to dh and usage of ocamlvars.mk
* Updated short and long description. Thanks to Enrico Tassi.
* Added an as-installed test, thanks again to Enrico Tassi.
* Added myself as Uploader.
2017-10-09 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.6.1-3) unstable; urgency=medium
* Recompile with OCaml 4.05.0
2016-12-30 - Enrico Tassi <gareuselesinge@debian.org>
ssreflect (1.6.1-2) unstable; urgency=medium
* Fix build-arch target
2016-12-27 - Enrico Tassi <gareuselesinge@debian.org>
ssreflect (1.6.1-1) unstable; urgency=medium
* New upstream release
2016-08-30 - Enrico Tassi <gareuselesinge@debian.org>
ssreflect (1.6-1) unstable; urgency=medium
* Adding myself as co-maintainer.
* Update upstream version to 1.6
2015-10-14 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.5-3) unstable; urgency=medium
* Recompile with OCaml 4.02.3
2014-07-30 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.5-2) unstable; urgency=medium
* Recompile with coq 8.4pl4
2014-03-13 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.5-1) unstable; urgency=medium
* New upstream release
2014-01-20 - Stéphane Glondu <glondu@debian.org>
ssreflect (1.5~rc1-3) unstable; urgency=medium
* Recompile with coq 8.4pl3
* Bump Standards-Version to 3.9.5 (no changes)
* Update debian/watch

See Also

Package Description
libsss-certmap-dev_2.2.2-1+b1_amd64.deb Certificate mapping library for SSSD -- development files
libsss-certmap0_2.2.2-1+b1_amd64.deb Certificate mapping library for SSSD
libsss-idmap-dev_2.2.2-1+b1_amd64.deb ID mapping library for SSSD -- development files
libsss-idmap0_2.2.2-1+b1_amd64.deb ID mapping library for SSSD
libsss-nss-idmap-dev_2.2.2-1+b1_amd64.deb SID based lookups library for SSSD -- development files
libsss-nss-idmap0_2.2.2-1+b1_amd64.deb SID based lookups library for SSSD
libsss-simpleifp-dev_2.2.2-1+b1_amd64.deb SSSD D-Bus responder helper library -- development files
libsss-simpleifp0_2.2.2-1+b1_amd64.deb SSSD D-Bus responder helper library
libsss-sudo_2.2.2-1+b1_amd64.deb Communicator library for sudo
libssw-dev_1.1-2_amd64.deb Development headers and static libraries for libssw
libssw-java_1.1-2_amd64.deb Java bindings for libssw
libssw0_1.1-2_amd64.deb fast SIMD parallelized implementation of the Smith-Waterman algorithm
libst-dev_1.9-3.1+b2_amd64.deb State Threads Library - Development files
libst1_1.9-3.1+b2_amd64.deb State Threads Library
libstaden-read-dev_1.14.11-6_amd64.deb development files for libstaden-read
Advertisement
Advertisement