png_sha512 ad8eeff6b08f588fd78260af490faabc033899e38a0aa7743c11095669c90454b80502ddb2c92abbaa1df147f6ef12398bd6be4efc35c9e91f2b685632a3b676000000010000000c

packagefilenamesizedifferent function
ftxui-doc ./usr/share/doc/ftxui-doc/html/nav_hd.png111 B
libdeal.ii-doc ./usr/share/doc/libdeal.ii-doc/html/doxygen/deal.II/nav_hd.png111 B

Details about this service