13e41d09dSXin LI 23e41d09dSXin LI#------------------------------------------------------------------------------ 3*48c779cdSXin LI# $File: polyml,v 1.2 2019/04/19 00:42:27 christos Exp $ 43e41d09dSXin LI# polyml: file(1) magic for PolyML 53e41d09dSXin LI# 63e41d09dSXin LI# PolyML 73e41d09dSXin LI# MPEG, FLI, DL originally from vax@ccwf.cc.utexas.edu (VaX#n8) 83e41d09dSXin LI# FLC, SGI, Apple originally from Daniel Quinlan (quinlan@yggdrasil.com) 93e41d09dSXin LI 10*48c779cdSXin LI# [0]: https://www.polyml.org/ 113e41d09dSXin LI# [1]: https://github.com/polyml/polyml/blob/master/\ 123e41d09dSXin LI# libpolyml/savestate.cpp#L146-L147 133e41d09dSXin LI# [2]: https://github.com/polyml/polyml/blob/master/\ 143e41d09dSXin LI# libpolyml/savestate.cpp#L1262-L1263 153e41d09dSXin LI 163e41d09dSXin LI# Type: Poly/ML saved data 173e41d09dSXin LI# From: Matthew Fernandez <matthew.fernandez@gmail.com> 183e41d09dSXin LI 193e41d09dSXin LI0 string POLYSAVE Poly/ML saved state 203e41d09dSXin LI>8 long x version %u 213e41d09dSXin LI 223e41d09dSXin LI0 string POLYMODU Poly/ML saved module 233e41d09dSXin LI>8 long x version %u 24