98099,103720d
97983,97996d
97347c
usr/share/python3/dist/python3-dolfinx                  python/python3-dolfinx
.
96590d
96485d
96128d
96093d
95981,95982d
95977d
95973d
95862,95874d
95837,95846d
95364,95388d
95202,95204d
94955,94962d
94939d
94790,94791d
94733d
94658,94698d
94528,94532d
93763,93766d
93709d
93677,93685d
93620d
93425d
92945d
92627d
92526d
92321d
92059d
91981d
91843d
91787d
91761,91767d
91710d
91708d
91648d
91623d
91572d
87629,87633d
87390d
87193d
87185,87186d
86735d
86507a
usr/share/doc/python3-dolfinx-complex/changelog.Debian.gz python/python3-dolfinx-complex
usr/share/doc/python3-dolfinx-complex/changelog.gz      python/python3-dolfinx-complex
usr/share/doc/python3-dolfinx-complex/copyright         python/python3-dolfinx-complex
usr/share/doc/python3-dolfinx-real/changelog.Debian.gz  python/python3-dolfinx-real
usr/share/doc/python3-dolfinx-real/changelog.gz         python/python3-dolfinx-real
usr/share/doc/python3-dolfinx-real/copyright            python/python3-dolfinx-real
usr/share/doc/python3-dolfinx/README.Debian             python/python3-dolfinx
usr/share/doc/python3-dolfinx/changelog.Debian.gz       python/python3-dolfinx
usr/share/doc/python3-dolfinx/changelog.gz              python/python3-dolfinx
usr/share/doc/python3-dolfinx/copyright                 python/python3-dolfinx
.
86433a
usr/share/doc/postgresql-server-dev-19/changelog.Debian.riscv64.gz libdevel/postgresql-server-dev-19
.
86430a
usr/share/doc/postgresql-pltcl-19/changelog.Debian.riscv64.gz database/postgresql-pltcl-19
.
86427a
usr/share/doc/postgresql-plpython3-19/changelog.Debian.riscv64.gz database/postgresql-plpython3-19
.
86424a
usr/share/doc/postgresql-plperl-19/changelog.Debian.riscv64.gz database/postgresql-plperl-19
.
86419a
usr/share/doc/postgresql-client-19/changelog.Debian.riscv64.gz database/postgresql-client-19
.
86412a
usr/share/doc/postgresql-19/changelog.Debian.riscv64.gz database/postgresql-19
.
86369,86370d
86139,86145d
85917,85942d
84430,84459d
84374,84383d
84126,84127d
84024a
usr/share/doc/libpq5/changelog.Debian.riscv64.gz        libs/libpq5
.
84021a
usr/share/doc/libpq-oauth/changelog.Debian.riscv64.gz   libs/libpq-oauth
.
84018a
usr/share/doc/libpq-dev/changelog.Debian.riscv64.gz     libdevel/libpq-dev
.
83972,83979d
83682a
usr/share/doc/libpgtypes3/changelog.Debian.riscv64.gz   libs/libpgtypes3
.
83641,83646d
83489,83494d
83045,83054d
82300,82305d
82285a
usr/share/doc/libflint-dev/changelog.Debian.gz          libdevel/libflint-dev
usr/share/doc/libflint-dev/copyright                    libdevel/libflint-dev
usr/share/doc/libflint24/changelog.Debian.gz            libs/libflint24
usr/share/doc/libflint24/copyright                      libs/libflint24
.
82270d
82266d
82248a
usr/share/doc/libecpg6/changelog.Debian.riscv64.gz      libs/libecpg6
.
82245a
usr/share/doc/libecpg-dev/changelog.Debian.riscv64.gz   libdevel/libecpg-dev
.
82242a
usr/share/doc/libecpg-compat3/changelog.Debian.riscv64.gz libs/libecpg-compat3
.
82236,82241d
82195,82225d
82162a
usr/share/doc/libdolfinx-complex-dev/changelog.Debian.gz libdevel/libdolfinx-complex-dev
usr/share/doc/libdolfinx-complex-dev/changelog.gz       libdevel/libdolfinx-complex-dev
usr/share/doc/libdolfinx-complex-dev/copyright          libdevel/libdolfinx-complex-dev
usr/share/doc/libdolfinx-complex0.11/changelog.Debian.gz libs/libdolfinx-complex0.11
usr/share/doc/libdolfinx-complex0.11/changelog.gz       libs/libdolfinx-complex0.11
usr/share/doc/libdolfinx-complex0.11/copyright          libs/libdolfinx-complex0.11
usr/share/doc/libdolfinx-dev/README.Debian              libdevel/libdolfinx-dev
usr/share/doc/libdolfinx-dev/changelog.Debian.gz        libdevel/libdolfinx-dev
usr/share/doc/libdolfinx-dev/changelog.gz               libdevel/libdolfinx-dev
usr/share/doc/libdolfinx-dev/copyright                  libdevel/libdolfinx-dev
usr/share/doc/libdolfinx-real-dev/changelog.Debian.gz   libdevel/libdolfinx-real-dev
usr/share/doc/libdolfinx-real-dev/changelog.gz          libdevel/libdolfinx-real-dev
usr/share/doc/libdolfinx-real-dev/copyright             libdevel/libdolfinx-real-dev
usr/share/doc/libdolfinx-real0.11/changelog.Debian.gz   libs/libdolfinx-real0.11
usr/share/doc/libdolfinx-real0.11/changelog.gz          libs/libdolfinx-real0.11
usr/share/doc/libdolfinx-real0.11/copyright             libs/libdolfinx-real0.11
.
82098,82101d
82007d
82004d
82001d
81839,81844d
79609,79619d
79572d
79348,79350d
79218d
79211c
usr/share/doc/coq/CODE_OF_CONDUCT.md                    math/coq
.
79141,79143d
78512d
74319,74340d
74039,74044d
73969d
73948d
73944d
73873d
73860,73863d
72751d
72749d
72745,72746d
72637d
71250,71262d
71176d
70390,70391d
70371,70372d
70333d
70045,70084d
68044,68046d
68038d
68025,68027d
68021d
67875,67876d
67851d
67849d
67807d
67798d
67782d
67693a
usr/lib/riscv64-linux-gnu/pkgconfig/flint.pc            libdevel/libflint-dev
.
67688,67690d
67683a
usr/lib/riscv64-linux-gnu/pkgconfig/dolfinx_complex.pc  libdevel/libdolfinx-complex-dev
usr/lib/riscv64-linux-gnu/pkgconfig/dolfinx_real.pc     libdevel/libdolfinx-real-dev
.
65725a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/tacticErrors.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/tacticErrors.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/tacticErrors.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/tacticErrors.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/tacticErrors.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/tacticErrors.mli ocaml/libcoq-core-ocaml-dev
.
65683a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/indrec.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/indrec.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/indrec.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/indrec.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/indrec.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/indrec.mli ocaml/libcoq-core-ocaml-dev
.
65650a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/fixTactics.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/fixTactics.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/fixTactics.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/fixTactics.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/fixTactics.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/fixTactics.mli ocaml/libcoq-core-ocaml-dev
.
65554a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/allScheme.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/allScheme.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/allScheme.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/allScheme.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/allScheme.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/tactics/allScheme.mli ocaml/libcoq-core-ocaml-dev
.
65446a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/proofs/subproof.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/proofs/subproof.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/proofs/subproof.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/proofs/subproof.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/proofs/subproof.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/proofs/subproof.mli ocaml/libcoq-core-ocaml-dev
.
65294a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/printingFlags.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/printingFlags.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/printingFlags.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/printingFlags.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/printingFlags.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/printingFlags.mli ocaml/libcoq-core-ocaml-dev
.
65251a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/libBinding.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/libBinding.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/libBinding.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/libBinding.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/libBinding.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/pretyping/libBinding.mli ocaml/libcoq-core-ocaml-dev
.
65234,65239d
64705a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/plugins/ltac2/tac2extravals.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/plugins/ltac2/tac2extravals.mli ocaml/libcoq-core-ocaml-dev
.
64646a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/plugins/ltac2/ltac2_plugin__Tac2extravals.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/plugins/ltac2/ltac2_plugin__Tac2extravals.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/plugins/ltac2/ltac2_plugin__Tac2extravals.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/plugins/ltac2/ltac2_plugin__Tac2extravals.cmx ocaml/libcoq-core-ocaml-dev
.
63677a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/qGraph.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/qGraph.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/qGraph.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/qGraph.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/qGraph.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/qGraph.mli ocaml/libcoq-core-ocaml-dev
.
63653a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/pConstraints.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/pConstraints.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/pConstraints.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/pConstraints.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/pConstraints.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/kernel/pConstraints.mli ocaml/libcoq-core-ocaml-dev
.
63433a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/interp/primNotations.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/interp/primNotations.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/interp/primNotations.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/interp/primNotations.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/interp/primNotations.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/interp/primNotations.mli ocaml/libcoq-core-ocaml-dev
.
63238a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/polyFlags.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/polyFlags.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/polyFlags.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/polyFlags.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/polyFlags.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/polyFlags.mli ocaml/libcoq-core-ocaml-dev
.
63202a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/evarnames.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/evarnames.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/evarnames.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/evarnames.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/evarnames.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/engine/evarnames.mli ocaml/libcoq-core-ocaml-dev
.
63144,63145d
63124,63127d
63045a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/clib/writeOnceArray.cmi ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/clib/writeOnceArray.cmt ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/clib/writeOnceArray.cmti ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/clib/writeOnceArray.cmx ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/clib/writeOnceArray.ml ocaml/libcoq-core-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/rocq-runtime/clib/writeOnceArray.mli ocaml/libcoq-core-ocaml-dev
.
62725a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/.private/elpi__Builtin_map.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/.private/elpi__Builtin_map.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/.private/elpi__Builtin_set.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/.private/elpi__Builtin_set.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/.private/elpi__Builtin_stdlib.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/.private/elpi__Builtin_stdlib.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/API.ml       ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/API.mli      ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/META         ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/builtin.elpi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/builtin.ml   ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/builtin.mli  ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/builtin_map.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/builtin_set.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/builtin_stdlib.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/compiler.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/compiler.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/compiler_data.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/determinacy_checker.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/determinacy_checker.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler.a ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler.cma ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler.cmxa ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler.cmxs ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Compiler.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Compiler.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Compiler.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Compiler.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Compiler_data.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Compiler_data.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Compiler_data.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Determinacy_checker.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Determinacy_checker.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Determinacy_checker.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Determinacy_checker.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Spilling.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Spilling.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Spilling.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Spilling.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Type_checker.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Type_checker.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Type_checker.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/elpi_compiler__Type_checker.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/spilling.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/spilling.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/type_checker.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/compiler/type_checker.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/dune-package ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi.a       ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi.cma     ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi.cmi     ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi.cmt     ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi.cmx     ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi.cmxa    ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi.cmxs    ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi.ml      ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi__API.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi__API.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi__API.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi__API.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi__Builtin.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi__Builtin.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi__Builtin.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi__Builtin.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi__Builtin_map.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi__Builtin_set.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/elpi__Builtin_stdlib.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config.a ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config.cma ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config.cmxa ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config.cmxs ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config__Lexer_config.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config__Tokens.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config__Tokens.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config__Tokens.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/elpi_lexer_config__Tokens.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/lexer_config.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/tokens.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/lexer_config/tokens.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/opam         ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/ast.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/ast.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser.a ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser.cma ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser.cmxa ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser.cmxs ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Ast.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Ast.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Ast.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Ast.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Error_messages.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Error_messages.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Error_messages.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Grammar.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Grammar.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Grammar.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Grammar.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Lexer.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Lexer.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Lexer.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Parse.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Parse.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Parse.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Parse.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Parser_config.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Parser_config.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/elpi_parser__Parser_config.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/error_messages.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/grammar.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/grammar.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/lexer.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/parse.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/parse.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/parser/parser_config.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/bl.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/bl.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/data.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/discrimination_tree.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/discrimination_tree.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime.a ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime.cma ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime.cmxa ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime.cmxs ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Bl.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Bl.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Bl.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Bl.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Data.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Data.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Data.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Discrimination_tree.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Discrimination_tree.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Discrimination_tree.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Discrimination_tree.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Ptmap.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Ptmap.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Ptmap.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Ptmap.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Runtime.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Runtime.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Runtime.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Runtime.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Runtime_trace_off.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Runtime_trace_off.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Runtime_trace_off.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/elpi_runtime__Runtime_trace_off.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/ptmap.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/ptmap.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/runtime.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/runtime.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/runtime_trace_off.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/runtime/runtime_trace_off.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace.atd    ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/ppx/ppx.exe ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/ppx/trace_ppx.a ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/ppx/trace_ppx.cma ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/ppx/trace_ppx.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/ppx/trace_ppx.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/ppx/trace_ppx.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/ppx/trace_ppx.cmxa ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/ppx/trace_ppx.cmxs ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/ppx/trace_ppx.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/runtime.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/runtime.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime.a ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime.cma ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime.cmxa ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime.cmxs ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace/runtime/trace_ppx_runtime__Runtime.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/trace_atd.ts ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util.a ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util.cma ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util.cmxa ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util.cmxs ocaml/libelpi-ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util__Union_find.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util__Union_find.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util__Union_find.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util__Union_find.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util__Util.cmi ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util__Util.cmt ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util__Util.cmti ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/elpi_util__Util.cmx ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/union_find.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/union_find.mli ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/util.ml ocaml/libelpi-ocaml-dev
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/elpi/util/util.mli ocaml/libelpi-ocaml-dev
.
62707a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Ltac2/Reference.glob math/libcoq-core
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Ltac2/Reference.v math/libcoq-core
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Ltac2/Reference.vo math/libcoq-core
.
62683a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Ltac2/Module.glob math/libcoq-core
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Ltac2/Module.v math/libcoq-core
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Ltac2/Module.vo math/libcoq-core
.
62491a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/theories/Init/Equality.glob math/libcoq-core
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/theories/Init/Equality.v math/libcoq-core
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/theories/Init/Equality.vo math/libcoq-core
.
62467a
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/theories/Compat/Rocq91.glob math/libcoq-core
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/theories/Compat/Rocq91.v math/libcoq-core
usr/lib/riscv64-linux-gnu/ocaml/5.4.1/coq/theories/Compat/Rocq91.vo math/libcoq-core
.
61893,62107d
58935d
58851,58853d
58689,58692d
58650,58653d
58568,58573d
58546,58548d
58044,58046d
58039a
usr/lib/riscv64-linux-gnu/libflint.so                   libdevel/libflint-dev
usr/lib/riscv64-linux-gnu/libflint.so.24                libs/libflint24
usr/lib/riscv64-linux-gnu/libflint.so.24.0.0            libs/libflint24
.
57999,58007d
57983a
usr/lib/riscv64-linux-gnu/libdolfinx_complex.so         libdevel/libdolfinx-complex-dev
usr/lib/riscv64-linux-gnu/libdolfinx_complex.so.0.11    libs/libdolfinx-complex0.11
usr/lib/riscv64-linux-gnu/libdolfinx_complex.so.0.11.0  libs/libdolfinx-complex0.11
usr/lib/riscv64-linux-gnu/libdolfinx_real.so            libdevel/libdolfinx-real-dev
usr/lib/riscv64-linux-gnu/libdolfinx_real.so.0.11       libs/libdolfinx-real0.11
usr/lib/riscv64-linux-gnu/libdolfinx_real.so.0.11.0     libs/libdolfinx-real0.11
.
57944,57946d
57886,57888d
55258,55261d
54904,54907d
54828a
usr/lib/riscv64-linux-gnu/cmake/dolfinx/DOLFINXConfig.cmake libdevel/libdolfinx-dev
usr/lib/riscv64-linux-gnu/cmake/dolfinx/DOLFINXConfigVersion.cmake libdevel/libdolfinx-dev
usr/lib/riscv64-linux-gnu/cmake/dolfinx/DOLFINXTargets-relwithdebinfo.cmake libdevel/libdolfinx-dev
usr/lib/riscv64-linux-gnu/cmake/dolfinx/DOLFINXTargets.cmake libdevel/libdolfinx-dev
.
54814,54817d
54622,54623d
54596,54617d
54391,54394d
54117a
usr/lib/python3/dist-packages/dolfinx.pth               python/python3-dolfinx
.
49444,52887c
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/__init__.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/common.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/cpp.cpython-313-riscv64-linux-gnu.so python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/cpp.cpython-314-riscv64-linux-gnu.so python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/fem/__init__.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/fem/assemble.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/fem/bcs.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/fem/dofmap.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/fem/element.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/fem/forms.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/fem/function.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/fem/petsc.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/fem/problems.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/fem/utils.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/geometry.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/graph.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/io/__init__.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/io/gmsh.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/io/utils.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/io/vtkhdf.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/jit.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/la/__init__.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/la/petsc.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/la/superlu_dist.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/log.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/mesh.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/nls/__init__.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/nls/petsc.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/plot.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/py.typed python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/pyproject.toml python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/typing.py python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/MPICommWrapper.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/array.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/assemble.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/caster_mpi.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/caster_petsc.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/common.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/fem.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/geometry.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/graph.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/io.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/la.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/mesh.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/numpy_dtype.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/petsc.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/pycoeff.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/refinement.h python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/fenics_dolfinx-0.11.0.post0.dist-info/INSTALLER python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-complex/lib/python3/dist-packages/fenics_dolfinx-0.11.0.post0.dist-info/METADATA python/python3-dolfinx-complex
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/__init__.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/common.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/cpp.cpython-313-riscv64-linux-gnu.so python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/cpp.cpython-314-riscv64-linux-gnu.so python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/fem/__init__.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/fem/assemble.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/fem/bcs.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/fem/dofmap.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/fem/element.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/fem/forms.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/fem/function.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/fem/petsc.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/fem/problems.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/fem/utils.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/geometry.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/graph.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/io/__init__.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/io/gmsh.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/io/utils.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/io/vtkhdf.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/jit.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/la/__init__.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/la/petsc.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/la/superlu_dist.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/log.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/mesh.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/nls/__init__.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/nls/petsc.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/plot.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/py.typed python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/pyproject.toml python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/typing.py python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/MPICommWrapper.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/array.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/assemble.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/caster_mpi.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/caster_petsc.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/common.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/fem.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/geometry.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/graph.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/io.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/la.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/mesh.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/numpy_dtype.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/petsc.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/pycoeff.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/dolfinx/wrappers/dolfinx_wrappers/refinement.h python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/fenics_dolfinx-0.11.0.post0.dist-info/INSTALLER python/python3-dolfinx-real
usr/lib/petscdir/petsc3.25/riscv64-linux-gnu-real/lib/python3/dist-packages/fenics_dolfinx-0.11.0.post0.dist-info/METADATA python/python3-dolfinx-real
.
27047,27117d
26352,26353d
23158,26310d
23102d
21131,21217d
20132d
20129d
19317d
18336,18337d
17470d
17467d
14883,14891d
14536,14743d
6863,6973d
6843a
usr/include/flint/NTL-interface.h                       libdevel/libflint-dev
usr/include/flint/acb.h                                 libdevel/libflint-dev
usr/include/flint/acb_calc.h                            libdevel/libflint-dev
usr/include/flint/acb_dft.h                             libdevel/libflint-dev
usr/include/flint/acb_dirichlet.h                       libdevel/libflint-dev
usr/include/flint/acb_elliptic.h                        libdevel/libflint-dev
usr/include/flint/acb_hypgeom.h                         libdevel/libflint-dev
usr/include/flint/acb_mat.h                             libdevel/libflint-dev
usr/include/flint/acb_modular.h                         libdevel/libflint-dev
usr/include/flint/acb_poly.h                            libdevel/libflint-dev
usr/include/flint/acb_theta.h                           libdevel/libflint-dev
usr/include/flint/acb_types.h                           libdevel/libflint-dev
usr/include/flint/acf.h                                 libdevel/libflint-dev
usr/include/flint/acf_types.h                           libdevel/libflint-dev
usr/include/flint/aprcl.h                               libdevel/libflint-dev
usr/include/flint/arb.h                                 libdevel/libflint-dev
usr/include/flint/arb_calc.h                            libdevel/libflint-dev
usr/include/flint/arb_fmpz_poly.h                       libdevel/libflint-dev
usr/include/flint/arb_fpwrap.h                          libdevel/libflint-dev
usr/include/flint/arb_hypgeom.h                         libdevel/libflint-dev
usr/include/flint/arb_mat.h                             libdevel/libflint-dev
usr/include/flint/arb_poly.h                            libdevel/libflint-dev
usr/include/flint/arb_types.h                           libdevel/libflint-dev
usr/include/flint/arf.h                                 libdevel/libflint-dev
usr/include/flint/arf_types.h                           libdevel/libflint-dev
usr/include/flint/arith.h                               libdevel/libflint-dev
usr/include/flint/bernoulli.h                           libdevel/libflint-dev
usr/include/flint/bool_mat.h                            libdevel/libflint-dev
usr/include/flint/ca.h                                  libdevel/libflint-dev
usr/include/flint/ca_ext.h                              libdevel/libflint-dev
usr/include/flint/ca_field.h                            libdevel/libflint-dev
usr/include/flint/ca_mat.h                              libdevel/libflint-dev
usr/include/flint/ca_poly.h                             libdevel/libflint-dev
usr/include/flint/ca_types.h                            libdevel/libflint-dev
usr/include/flint/ca_vec.h                              libdevel/libflint-dev
usr/include/flint/calcium.h                             libdevel/libflint-dev
usr/include/flint/crt_helpers.h                         libdevel/libflint-dev
usr/include/flint/d_mat.h                               libdevel/libflint-dev
usr/include/flint/d_vec.h                               libdevel/libflint-dev
usr/include/flint/dirichlet.h                           libdevel/libflint-dev
usr/include/flint/dlog.h                                libdevel/libflint-dev
usr/include/flint/double_extras.h                       libdevel/libflint-dev
usr/include/flint/double_interval.h                     libdevel/libflint-dev
usr/include/flint/fexpr.h                               libdevel/libflint-dev
usr/include/flint/fexpr_builtin.h                       libdevel/libflint-dev
usr/include/flint/fft.h                                 libdevel/libflint-dev
usr/include/flint/fft_small.h                           libdevel/libflint-dev
usr/include/flint/flint-config.h                        libdevel/libflint-dev
usr/include/flint/flint-mparam.h                        libdevel/libflint-dev
usr/include/flint/flint.h                               libdevel/libflint-dev
usr/include/flint/fmpq.h                                libdevel/libflint-dev
usr/include/flint/fmpq_mat.h                            libdevel/libflint-dev
usr/include/flint/fmpq_mpoly.h                          libdevel/libflint-dev
usr/include/flint/fmpq_mpoly_factor.h                   libdevel/libflint-dev
usr/include/flint/fmpq_poly.h                           libdevel/libflint-dev
usr/include/flint/fmpq_types.h                          libdevel/libflint-dev
usr/include/flint/fmpq_vec.h                            libdevel/libflint-dev
usr/include/flint/fmpz.h                                libdevel/libflint-dev
usr/include/flint/fmpz_extras.h                         libdevel/libflint-dev
usr/include/flint/fmpz_factor.h                         libdevel/libflint-dev
usr/include/flint/fmpz_lll.h                            libdevel/libflint-dev
usr/include/flint/fmpz_mat.h                            libdevel/libflint-dev
usr/include/flint/fmpz_mod.h                            libdevel/libflint-dev
usr/include/flint/fmpz_mod_mat.h                        libdevel/libflint-dev
usr/include/flint/fmpz_mod_mpoly.h                      libdevel/libflint-dev
usr/include/flint/fmpz_mod_mpoly_factor.h               libdevel/libflint-dev
usr/include/flint/fmpz_mod_mpoly_q.h                    libdevel/libflint-dev
usr/include/flint/fmpz_mod_poly.h                       libdevel/libflint-dev
usr/include/flint/fmpz_mod_poly_factor.h                libdevel/libflint-dev
usr/include/flint/fmpz_mod_types.h                      libdevel/libflint-dev
usr/include/flint/fmpz_mod_vec.h                        libdevel/libflint-dev
usr/include/flint/fmpz_mpoly.h                          libdevel/libflint-dev
usr/include/flint/fmpz_mpoly_factor.h                   libdevel/libflint-dev
usr/include/flint/fmpz_mpoly_q.h                        libdevel/libflint-dev
usr/include/flint/fmpz_poly.h                           libdevel/libflint-dev
usr/include/flint/fmpz_poly_factor.h                    libdevel/libflint-dev
usr/include/flint/fmpz_poly_mat.h                       libdevel/libflint-dev
usr/include/flint/fmpz_poly_q.h                         libdevel/libflint-dev
usr/include/flint/fmpz_types.h                          libdevel/libflint-dev
usr/include/flint/fmpz_vec.h                            libdevel/libflint-dev
usr/include/flint/fmpzi.h                               libdevel/libflint-dev
usr/include/flint/fq.h                                  libdevel/libflint-dev
usr/include/flint/fq_default.h                          libdevel/libflint-dev
usr/include/flint/fq_default_mat.h                      libdevel/libflint-dev
usr/include/flint/fq_default_poly.h                     libdevel/libflint-dev
usr/include/flint/fq_default_poly_factor.h              libdevel/libflint-dev
usr/include/flint/fq_embed.h                            libdevel/libflint-dev
usr/include/flint/fq_embed_templates.h                  libdevel/libflint-dev
usr/include/flint/fq_mat.h                              libdevel/libflint-dev
usr/include/flint/fq_mat_templates.h                    libdevel/libflint-dev
usr/include/flint/fq_nmod.h                             libdevel/libflint-dev
usr/include/flint/fq_nmod_embed.h                       libdevel/libflint-dev
usr/include/flint/fq_nmod_mat.h                         libdevel/libflint-dev
usr/include/flint/fq_nmod_mpoly.h                       libdevel/libflint-dev
usr/include/flint/fq_nmod_mpoly_factor.h                libdevel/libflint-dev
usr/include/flint/fq_nmod_poly.h                        libdevel/libflint-dev
usr/include/flint/fq_nmod_poly_factor.h                 libdevel/libflint-dev
usr/include/flint/fq_nmod_types.h                       libdevel/libflint-dev
usr/include/flint/fq_nmod_vec.h                         libdevel/libflint-dev
usr/include/flint/fq_poly.h                             libdevel/libflint-dev
usr/include/flint/fq_poly_factor.h                      libdevel/libflint-dev
usr/include/flint/fq_poly_factor_templates.h            libdevel/libflint-dev
usr/include/flint/fq_poly_templates.h                   libdevel/libflint-dev
usr/include/flint/fq_templates.h                        libdevel/libflint-dev
usr/include/flint/fq_types.h                            libdevel/libflint-dev
usr/include/flint/fq_vec.h                              libdevel/libflint-dev
usr/include/flint/fq_vec_templates.h                    libdevel/libflint-dev
usr/include/flint/fq_zech.h                             libdevel/libflint-dev
usr/include/flint/fq_zech_embed.h                       libdevel/libflint-dev
usr/include/flint/fq_zech_mat.h                         libdevel/libflint-dev
usr/include/flint/fq_zech_mpoly.h                       libdevel/libflint-dev
usr/include/flint/fq_zech_mpoly_factor.h                libdevel/libflint-dev
usr/include/flint/fq_zech_poly.h                        libdevel/libflint-dev
usr/include/flint/fq_zech_poly_factor.h                 libdevel/libflint-dev
usr/include/flint/fq_zech_types.h                       libdevel/libflint-dev
usr/include/flint/fq_zech_vec.h                         libdevel/libflint-dev
usr/include/flint/gettimeofday.h                        libdevel/libflint-dev
usr/include/flint/gmpcompat.h                           libdevel/libflint-dev
usr/include/flint/gr.h                                  libdevel/libflint-dev
usr/include/flint/gr_generic.h                          libdevel/libflint-dev
usr/include/flint/gr_mat.h                              libdevel/libflint-dev
usr/include/flint/gr_mpoly.h                            libdevel/libflint-dev
usr/include/flint/gr_ore_poly.h                         libdevel/libflint-dev
usr/include/flint/gr_poly.h                             libdevel/libflint-dev
usr/include/flint/gr_series.h                           libdevel/libflint-dev
usr/include/flint/gr_special.h                          libdevel/libflint-dev
usr/include/flint/gr_types.h                            libdevel/libflint-dev
usr/include/flint/gr_vec.h                              libdevel/libflint-dev
usr/include/flint/hypgeom.h                             libdevel/libflint-dev
usr/include/flint/limb_types.h                          libdevel/libflint-dev
usr/include/flint/long_extras.h                         libdevel/libflint-dev
usr/include/flint/longlong.h                            libdevel/libflint-dev
usr/include/flint/longlong_asm_clang.h                  libdevel/libflint-dev
usr/include/flint/longlong_asm_gcc.h                    libdevel/libflint-dev
usr/include/flint/longlong_asm_gnu.h                    libdevel/libflint-dev
usr/include/flint/longlong_div_gnu.h                    libdevel/libflint-dev
usr/include/flint/longlong_msc_arm64.h                  libdevel/libflint-dev
usr/include/flint/longlong_msc_x86.h                    libdevel/libflint-dev
usr/include/flint/machine_vectors.h                     libdevel/libflint-dev
usr/include/flint/mag.h                                 libdevel/libflint-dev
usr/include/flint/mpn_extras.h                          libdevel/libflint-dev
usr/include/flint/mpn_mod.h                             libdevel/libflint-dev
usr/include/flint/mpoly.h                               libdevel/libflint-dev
usr/include/flint/mpoly_types.h                         libdevel/libflint-dev
usr/include/flint/n_poly.h                              libdevel/libflint-dev
usr/include/flint/n_poly_types.h                        libdevel/libflint-dev
usr/include/flint/nf.h                                  libdevel/libflint-dev
usr/include/flint/nf_elem.h                             libdevel/libflint-dev
usr/include/flint/nfloat.h                              libdevel/libflint-dev
usr/include/flint/nmod.h                                libdevel/libflint-dev
usr/include/flint/nmod_mat.h                            libdevel/libflint-dev
usr/include/flint/nmod_mpoly.h                          libdevel/libflint-dev
usr/include/flint/nmod_mpoly_factor.h                   libdevel/libflint-dev
usr/include/flint/nmod_poly.h                           libdevel/libflint-dev
usr/include/flint/nmod_poly_factor.h                    libdevel/libflint-dev
usr/include/flint/nmod_poly_mat.h                       libdevel/libflint-dev
usr/include/flint/nmod_types.h                          libdevel/libflint-dev
usr/include/flint/nmod_vec.h                            libdevel/libflint-dev
usr/include/flint/padic.h                               libdevel/libflint-dev
usr/include/flint/padic_mat.h                           libdevel/libflint-dev
usr/include/flint/padic_poly.h                          libdevel/libflint-dev
usr/include/flint/padic_radix.h                         libdevel/libflint-dev
usr/include/flint/padic_types.h                         libdevel/libflint-dev
usr/include/flint/partitions.h                          libdevel/libflint-dev
usr/include/flint/perm.h                                libdevel/libflint-dev
usr/include/flint/profiler.h                            libdevel/libflint-dev
usr/include/flint/qadic.h                               libdevel/libflint-dev
usr/include/flint/qfb.h                                 libdevel/libflint-dev
usr/include/flint/qqbar.h                               libdevel/libflint-dev
usr/include/flint/qsieve.h                              libdevel/libflint-dev
usr/include/flint/radix.h                               libdevel/libflint-dev
usr/include/flint/templates.h                           libdevel/libflint-dev
usr/include/flint/test_helpers.h                        libdevel/libflint-dev
usr/include/flint/thread_pool.h                         libdevel/libflint-dev
usr/include/flint/thread_support.h                      libdevel/libflint-dev
usr/include/flint/ulong_extras.h                        libdevel/libflint-dev
.
6349,6499d
6326a
usr/include/dolfinx.h                                   libdevel/libdolfinx-dev
usr/include/dolfinx/common/IndexMap.h                   libdevel/libdolfinx-dev
usr/include/dolfinx/common/MPI.h                        libdevel/libdolfinx-dev
usr/include/dolfinx/common/Scatterer.h                  libdevel/libdolfinx-dev
usr/include/dolfinx/common/Table.h                      libdevel/libdolfinx-dev
usr/include/dolfinx/common/TimeLogger.h                 libdevel/libdolfinx-dev
usr/include/dolfinx/common/Timer.h                      libdevel/libdolfinx-dev
usr/include/dolfinx/common/defines.h                    libdevel/libdolfinx-dev
usr/include/dolfinx/common/dolfinx_common.h             libdevel/libdolfinx-dev
usr/include/dolfinx/common/dolfinx_doc.h                libdevel/libdolfinx-dev
usr/include/dolfinx/common/log.h                        libdevel/libdolfinx-dev
usr/include/dolfinx/common/math.h                       libdevel/libdolfinx-dev
usr/include/dolfinx/common/sort.h                       libdevel/libdolfinx-dev
usr/include/dolfinx/common/timing.h                     libdevel/libdolfinx-dev
usr/include/dolfinx/common/types.h                      libdevel/libdolfinx-dev
usr/include/dolfinx/common/utils.h                      libdevel/libdolfinx-dev
usr/include/dolfinx/common/version.h                    libdevel/libdolfinx-dev
usr/include/dolfinx/fem/Constant.h                      libdevel/libdolfinx-dev
usr/include/dolfinx/fem/CoordinateElement.h             libdevel/libdolfinx-dev
usr/include/dolfinx/fem/DirichletBC.h                   libdevel/libdolfinx-dev
usr/include/dolfinx/fem/DofMap.h                        libdevel/libdolfinx-dev
usr/include/dolfinx/fem/ElementDofLayout.h              libdevel/libdolfinx-dev
usr/include/dolfinx/fem/Expression.h                    libdevel/libdolfinx-dev
usr/include/dolfinx/fem/FiniteElement.h                 libdevel/libdolfinx-dev
usr/include/dolfinx/fem/Form.h                          libdevel/libdolfinx-dev
usr/include/dolfinx/fem/Function.h                      libdevel/libdolfinx-dev
usr/include/dolfinx/fem/FunctionSpace.h                 libdevel/libdolfinx-dev
usr/include/dolfinx/fem/assemble_expression_impl.h      libdevel/libdolfinx-dev
usr/include/dolfinx/fem/assemble_matrix_impl.h          libdevel/libdolfinx-dev
usr/include/dolfinx/fem/assemble_scalar_impl.h          libdevel/libdolfinx-dev
usr/include/dolfinx/fem/assemble_vector_impl.h          libdevel/libdolfinx-dev
usr/include/dolfinx/fem/assembler.h                     libdevel/libdolfinx-dev
usr/include/dolfinx/fem/discreteoperators.h             libdevel/libdolfinx-dev
usr/include/dolfinx/fem/dofmapbuilder.h                 libdevel/libdolfinx-dev
usr/include/dolfinx/fem/dolfinx_fem.h                   libdevel/libdolfinx-dev
usr/include/dolfinx/fem/interpolate.h                   libdevel/libdolfinx-dev
usr/include/dolfinx/fem/kernel.h                        libdevel/libdolfinx-dev
usr/include/dolfinx/fem/pack.h                          libdevel/libdolfinx-dev
usr/include/dolfinx/fem/petsc.h                         libdevel/libdolfinx-dev
usr/include/dolfinx/fem/sparsitybuild.h                 libdevel/libdolfinx-dev
usr/include/dolfinx/fem/traits.h                        libdevel/libdolfinx-dev
usr/include/dolfinx/fem/utils.h                         libdevel/libdolfinx-dev
usr/include/dolfinx/geometry/BoundingBoxTree.h          libdevel/libdolfinx-dev
usr/include/dolfinx/geometry/dolfinx_geometry.h         libdevel/libdolfinx-dev
usr/include/dolfinx/geometry/gjk.h                      libdevel/libdolfinx-dev
usr/include/dolfinx/geometry/utils.h                    libdevel/libdolfinx-dev
usr/include/dolfinx/graph/AdjacencyList.h               libdevel/libdolfinx-dev
usr/include/dolfinx/graph/dolfinx_graph.h               libdevel/libdolfinx-dev
usr/include/dolfinx/graph/ordering.h                    libdevel/libdolfinx-dev
usr/include/dolfinx/graph/partition.h                   libdevel/libdolfinx-dev
usr/include/dolfinx/graph/partitioners.h                libdevel/libdolfinx-dev
usr/include/dolfinx/graph/utils.h                       libdevel/libdolfinx-dev
usr/include/dolfinx/io/ADIOS2Writers.h                  libdevel/libdolfinx-dev
usr/include/dolfinx/io/HDF5Interface.h                  libdevel/libdolfinx-dev
usr/include/dolfinx/io/VTKFile.h                        libdevel/libdolfinx-dev
usr/include/dolfinx/io/VTKHDF.h                         libdevel/libdolfinx-dev
usr/include/dolfinx/io/XDMFFile.h                       libdevel/libdolfinx-dev
usr/include/dolfinx/io/cells.h                          libdevel/libdolfinx-dev
usr/include/dolfinx/io/dolfinx_io.h                     libdevel/libdolfinx-dev
usr/include/dolfinx/io/utils.h                          libdevel/libdolfinx-dev
usr/include/dolfinx/io/vtk_utils.h                      libdevel/libdolfinx-dev
usr/include/dolfinx/io/xdmf_function.h                  libdevel/libdolfinx-dev
usr/include/dolfinx/io/xdmf_mesh.h                      libdevel/libdolfinx-dev
usr/include/dolfinx/io/xdmf_utils.h                     libdevel/libdolfinx-dev
usr/include/dolfinx/la/MatrixCSR.h                      libdevel/libdolfinx-dev
usr/include/dolfinx/la/SparsityPattern.h                libdevel/libdolfinx-dev
usr/include/dolfinx/la/Vector.h                         libdevel/libdolfinx-dev
usr/include/dolfinx/la/dolfinx_la.h                     libdevel/libdolfinx-dev
usr/include/dolfinx/la/matmul.h                         libdevel/libdolfinx-dev
usr/include/dolfinx/la/matrix_csr_impl.h                libdevel/libdolfinx-dev
usr/include/dolfinx/la/mattrans.h                       libdevel/libdolfinx-dev
usr/include/dolfinx/la/petsc.h                          libdevel/libdolfinx-dev
usr/include/dolfinx/la/slepc.h                          libdevel/libdolfinx-dev
usr/include/dolfinx/la/superlu_dist.h                   libdevel/libdolfinx-dev
usr/include/dolfinx/la/utils.h                          libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/EntityMap.h                    libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/Geometry.h                     libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/Mesh.h                         libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/MeshTags.h                     libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/Topology.h                     libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/cell_types.h                   libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/dolfinx_mesh.h                 libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/generation.h                   libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/graphbuild.h                   libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/permutationcomputation.h       libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/topologycomputation.h          libdevel/libdolfinx-dev
usr/include/dolfinx/mesh/utils.h                        libdevel/libdolfinx-dev
usr/include/dolfinx/nls/NewtonSolver.h                  libdevel/libdolfinx-dev
usr/include/dolfinx/nls/dolfinx_nls.h                   libdevel/libdolfinx-dev
usr/include/dolfinx/refinement/dolfinx_refinement.h     libdevel/libdolfinx-dev
usr/include/dolfinx/refinement/interval.h               libdevel/libdolfinx-dev
usr/include/dolfinx/refinement/mark.h                   libdevel/libdolfinx-dev
usr/include/dolfinx/refinement/option.h                 libdevel/libdolfinx-dev
usr/include/dolfinx/refinement/plaza.h                  libdevel/libdolfinx-dev
usr/include/dolfinx/refinement/refine.h                 libdevel/libdolfinx-dev
usr/include/dolfinx/refinement/uniform.h                libdevel/libdolfinx-dev
usr/include/dolfinx/refinement/utils.h                  libdevel/libdolfinx-dev
.
6258,6259d
5219,5326d
2341,2347d
2337d
2323d
2248d
2246d
1971,1972d
1935d
1855,1856d
1847,1851d
1270d
1151,1153d
1080d
1068d
975d
961d
875d
807d
731d
1,3d
