Sauter la navigation du site

Packages

• About Debian
• Getting Debian
• Assistance
• Developers' Corner

/usr/lib/riscv64-linux-gnu/libregina.so.3
/usr/lib/riscv64-linux-gnu/libregina.so.3.9
/usr/lib/riscv64-linux-gnu/regina-rexx/3.9.5/libregutil.so
/usr/lib/riscv64-linux-gnu/regina-rexx/3.9.5/librxtest1.so
/usr/lib/riscv64-linux-gnu/regina-rexx/3.9.5/librxtest2.so
/usr/lib/riscv64-linux-gnu/regina-rexx/regina-config
/usr/share/doc/libregina3/HACKERS.txt.gz
/usr/share/doc/libregina3/HISTORY.gz
/usr/share/doc/libregina3/changelog.Debian.gz
/usr/share/doc/libregina3/changelog.Debian.riscv64.gz
/usr/share/doc/libregina3/copyright