138104d
102030,102032d
102018,102020d
68817,68818d
68809,68810d
67674d
67663a
usr/share/doc/glibc-doc-reference/html/Dynamic-Linker-Environment-Variables.html non-free/doc/glibc-doc-reference
.
65409a
usr/share/doc/coq-doc-pdf/rocq-9.2-reference-manual.pdf.gz non-free/doc/coq-doc-pdf
.
65407d
65395a
usr/share/doc/coq-doc-html/refman/rocq-attrindex.html   non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/rocq-cmdindex.html    non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/rocq-exnindex.html    non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/rocq-optindex.html    non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/rocq-tacindex.html    non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/rocq-thmindex.html    non-free/doc/coq-doc-html
.
65368a
usr/share/doc/coq-doc-html/refman/language/extensions/compil-steps.html non-free/doc/coq-doc-html
.
65348d
65322a
usr/share/doc/coq-doc-html/refman/_static/rocqide-preferences-editor.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_static/rocqide-preferences-shortcuts.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_static/rocqide-queries.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_static/rocqide.png   non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_static/rocqnotations.sty non-free/doc/coq-doc-html
.
65293a
usr/share/doc/coq-doc-html/refman/_static/diffs-rocqide-compacted.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_static/diffs-rocqide-multigoal.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_static/diffs-rocqide-on.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_static/diffs-rocqide-removed.png non-free/doc/coq-doc-html
.
65285,65288d
65282a
usr/share/doc/coq-doc-html/refman/_static/css/custom.css non-free/doc/coq-doc-html
.
65279,65281d
65272c
usr/share/doc/coq-doc-html/refman/_static/RocqNotations.ttf.gz non-free/doc/coq-doc-html
.
65262a
usr/share/doc/coq-doc-html/refman/_sources/rocq-attrindex.rst.txt non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_sources/rocq-cmdindex.rst.txt non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_sources/rocq-exnindex.rst.txt non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_sources/rocq-optindex.rst.txt non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_sources/rocq-tacindex.rst.txt non-free/doc/coq-doc-html
.
65236a
usr/share/doc/coq-doc-html/refman/_sources/language/extensions/compil-steps.rst.txt non-free/doc/coq-doc-html
.
65193a
usr/share/doc/coq-doc-html/refman/_images/rocqide-preferences-editor.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_images/rocqide-preferences-shortcuts.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_images/rocqide-queries.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_images/rocqide.png   non-free/doc/coq-doc-html
.
65192a
usr/share/doc/coq-doc-html/refman/_images/diffs-rocqide-compacted.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_images/diffs-rocqide-multigoal.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_images/diffs-rocqide-on.png non-free/doc/coq-doc-html
usr/share/doc/coq-doc-html/refman/_images/diffs-rocqide-removed.png non-free/doc/coq-doc-html
.
65187,65190d
65184,65185d
64895,64897d
6051d
6047d
6015d
1503,1506c
usr/lib/python3/dist-packages/mapproxy-7.0.0.dist-info/INSTALLER non-free/python/python3-mapproxy
usr/lib/python3/dist-packages/mapproxy-7.0.0.dist-info/METADATA non-free/python/python3-mapproxy
usr/lib/python3/dist-packages/mapproxy-7.0.0.dist-info/entry_points.txt non-free/python/python3-mapproxy
usr/lib/python3/dist-packages/mapproxy-7.0.0.dist-info/top_level.txt non-free/python/python3-mapproxy
.
