png_sha512 6e6363ca11bab3d4f870dc06bbdcd36e088b9c68ae5bdbabe872cacd6e04b1bb54c9ac6f500be4e7cb7de20ed5999b400a5bc55bdaa862f12cad11cad1e4f18d0000000100000038

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

Details about this service