fricas-hypertex-data <-> fricas-hypertex-data

Version of fricas-hypertex-data: 1.3.7-3

Architecture of fricas-hypertex-data: all

fricas-hypertex-datafricas-hypertex-data
sizefilenamehash functionsfilename
473 B./usr/share/fricas/share/hypertex/bitmaps/sdown.bitmap./usr/share/fricas/share/hypertex/bitmaps/sdown.bm sha512./usr/share/fricas/share/hypertex/bitmaps/sdown.bitmap
sha512./usr/share/fricas/share/hypertex/bitmaps/sdown.bm
467 B./usr/share/fricas/share/hypertex/bitmaps/sup.bm./usr/share/fricas/share/hypertex/bitmaps/sup.bitmap sha512./usr/share/fricas/share/hypertex/bitmaps/sup.bitmap
sha512./usr/share/fricas/share/hypertex/bitmaps/sup.bm
314 B./usr/share/fricas/share/hypertex/bitmaps/dot.bitmap./usr/share/fricas/share/hypertex/bitmaps/bullet.bitmap sha512./usr/share/fricas/share/hypertex/bitmaps/bullet.bitmap
sha512./usr/share/fricas/share/hypertex/bitmaps/dot.bitmap
290 B./usr/share/fricas/share/hypertex/bitmaps/Xopenfbox.bitmap./usr/share/fricas/share/hypertex/bitmaps/unpick_old.bitmap sha512./usr/share/fricas/share/hypertex/bitmaps/Xopenfbox.bitmap
sha512./usr/share/fricas/share/hypertex/bitmaps/unpick_old.bitmap
284 B./usr/share/fricas/share/hypertex/bitmaps/Xnoface.bitmap./usr/share/fricas/share/hypertex/bitmaps/Xnocirc.bitmap sha512./usr/share/fricas/share/hypertex/bitmaps/Xnocirc.bitmap
sha512./usr/share/fricas/share/hypertex/bitmaps/Xnoface.bitmap
281 B./usr/share/fricas/share/hypertex/bitmaps/pick_old.bitmap./usr/share/fricas/share/hypertex/bitmaps/Xxfbox.bitmap sha512./usr/share/fricas/share/hypertex/bitmaps/Xxfbox.bitmap
sha512./usr/share/fricas/share/hypertex/bitmaps/pick_old.bitmap
275 B./usr/share/fricas/share/hypertex/bitmaps/notequal.bitmap./usr/share/fricas/share/hypertex/bitmaps/notequal.xbm sha512./usr/share/fricas/share/hypertex/bitmaps/notequal.bitmap
sha512./usr/share/fricas/share/hypertex/bitmaps/notequal.xbm
272 B./usr/share/fricas/share/hypertex/bitmaps/nabla.bitmap./usr/share/fricas/share/hypertex/bitmaps/del.bitmap sha512./usr/share/fricas/share/hypertex/bitmaps/del.bitmap
sha512./usr/share/fricas/share/hypertex/bitmaps/nabla.bitmap

Details about this service