preskočiť navigáciu

Packages

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

/usr/bin/atdts
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/atdts/META
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/atdts/dune-package
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/atdts/opam
/usr/share/doc/atdts/LICENSE.md
/usr/share/doc/atdts/README.md
/usr/share/doc/atdts/changelog.Debian.gz
/usr/share/doc/atdts/changelog.Debian.riscv64.gz
/usr/share/doc/atdts/changelog.gz
/usr/share/doc/atdts/copyright