3460071a
usr/share/doc/why3/changelog.Debian.amd64.gz            math/why3
.
3458855a
usr/share/doc/why3-coq/changelog.Debian.amd64.gz        math/why3-coq
.
2941109d
2794704a
usr/share/doc/menhir/manual001.png                      doc/menhir-doc
usr/share/doc/menhir/manual002.png                      doc/menhir-doc
usr/share/doc/menhir/manual003.png                      doc/menhir-doc
.
2794693c
usr/share/doc/menhir/examples/generate-printers-dune/Makefile doc/menhir-doc
usr/share/doc/menhir/examples/generate-printers-dune/README.md doc/menhir-doc
usr/share/doc/menhir/examples/generate-printers-dune/dune doc/menhir-doc
usr/share/doc/menhir/examples/generate-printers-dune/dune-project doc/menhir-doc
usr/share/doc/menhir/examples/generate-printers-dune/generate.ml.gz doc/menhir-doc
.
2794672a
usr/share/doc/menhir/examples/calc-two-dune/Makefile    doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/README      doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/algebraic.mly doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/algebraic.mlypack doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/calc.ml     doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/common.mly  doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/dune        doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/dune-project doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/lexer.mll   doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/reverse.mly doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/reverse.mlypack doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/tokens.mly  doc/menhir-doc
usr/share/doc/menhir/examples/calc-two-dune/tokens.mlypack doc/menhir-doc
.
2794661a
usr/share/doc/menhir/examples/calc-new-syntax-dune/Makefile doc/menhir-doc
usr/share/doc/menhir/examples/calc-new-syntax-dune/README.md doc/menhir-doc
usr/share/doc/menhir/examples/calc-new-syntax-dune/calc.ml doc/menhir-doc
usr/share/doc/menhir/examples/calc-new-syntax-dune/dune doc/menhir-doc
usr/share/doc/menhir/examples/calc-new-syntax-dune/dune-project doc/menhir-doc
usr/share/doc/menhir/examples/calc-new-syntax-dune/lexer.mll doc/menhir-doc
usr/share/doc/menhir/examples/calc-new-syntax-dune/parser.mly doc/menhir-doc
usr/share/doc/menhir/examples/calc-param-dune/Makefile  doc/menhir-doc
usr/share/doc/menhir/examples/calc-param-dune/README    doc/menhir-doc
usr/share/doc/menhir/examples/calc-param-dune/calc.ml   doc/menhir-doc
usr/share/doc/menhir/examples/calc-param-dune/dune      doc/menhir-doc
usr/share/doc/menhir/examples/calc-param-dune/dune-project doc/menhir-doc
usr/share/doc/menhir/examples/calc-param-dune/lexer.mll doc/menhir-doc
usr/share/doc/menhir/examples/calc-param-dune/parser.mly doc/menhir-doc
usr/share/doc/menhir/examples/calc-param-dune/tokens.mly doc/menhir-doc
.
2794647c
usr/share/doc/menhir/examples/calc-inspection-dune/dune doc/menhir-doc
usr/share/doc/menhir/examples/calc-inspection-dune/dune-project doc/menhir-doc
.
2794629c
usr/share/doc/menhir/examples/calc-incremental-dune/dune doc/menhir-doc
usr/share/doc/menhir/examples/calc-incremental-dune/dune-project doc/menhir-doc
.
2794627c
usr/share/doc/menhir/examples/calc-incremental-dune/README.md doc/menhir-doc
.
2794623c
usr/share/doc/menhir/examples/calc-dune/dune            doc/menhir-doc
usr/share/doc/menhir/examples/calc-dune/dune-project    doc/menhir-doc
.
2794621c
usr/share/doc/menhir/examples/calc-dune/README.md       doc/menhir-doc
.
2794619a
usr/share/doc/menhir/examples/calc-alias/.merlin        doc/menhir-doc
usr/share/doc/menhir/examples/calc-alias/Makefile       doc/menhir-doc
usr/share/doc/menhir/examples/calc-alias/README         doc/menhir-doc
usr/share/doc/menhir/examples/calc-alias/calc.ml        doc/menhir-doc
usr/share/doc/menhir/examples/calc-alias/lexer.mll      doc/menhir-doc
usr/share/doc/menhir/examples/calc-alias/parser.mly     doc/menhir-doc
usr/share/doc/menhir/examples/calc-ast-dune/Makefile    doc/menhir-doc
usr/share/doc/menhir/examples/calc-ast-dune/README.md   doc/menhir-doc
usr/share/doc/menhir/examples/calc-ast-dune/calc.ml     doc/menhir-doc
usr/share/doc/menhir/examples/calc-ast-dune/dune        doc/menhir-doc
usr/share/doc/menhir/examples/calc-ast-dune/dune-project doc/menhir-doc
usr/share/doc/menhir/examples/calc-ast-dune/lexer.mll   doc/menhir-doc
usr/share/doc/menhir/examples/calc-ast-dune/parser.mly  doc/menhir-doc
usr/share/doc/menhir/examples/calc-ast-dune/syntax.ml   doc/menhir-doc
.
2697966a
usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.amd64.gz ocaml/libwhy3-ocaml-dev
.
2439367d
2185768d
1239903c
usr/lib/x86_64-linux-gnu/librsvg-2.so.2.44.9            libs/librsvg2-2
.
1227667a
usr/lib/x86_64-linux-gnu/libbenchmark_main.a            libdevel/libbenchmark-dev
.
778966a
usr/lib/ocaml/menhirSdk/menhirSdk.cmxs                  ocaml/libmenhir-ocaml-dev
.
778959a
usr/lib/ocaml/menhirLib/menhirLib.cmxs                  ocaml/libmenhir-ocaml-dev
.
