прескачане на навигацията

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/META
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/elpi.cma
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/elpi.cmxs
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/lexer_config/elpi_lexer_config.cma
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/lexer_config/elpi_lexer_config.cmxs
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/parser/elpi_parser.cma
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/parser/elpi_parser.cmxs
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/trace/ppx/trace_ppx.cma
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/trace/ppx/trace_ppx.cmxs
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/trace/runtime/trace_ppx_runtime.cma
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/trace/runtime/trace_ppx_runtime.cmxs
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/util/elpi_util.cma
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/elpi/util/elpi_util.cmxs
/usr/share/doc/libelpi-ocaml/changelog.Debian.gz
/usr/share/doc/libelpi-ocaml/changelog.Debian.riscv64.gz
/usr/share/doc/libelpi-ocaml/changelog.gz
/usr/share/doc/libelpi-ocaml/copyright