Provided by: exrtools_0.4-1.2ubuntu1_amd64
ppmtoexr - convert a PPM image to OpenEXR format
ppmtoexr input.ppm output.exr
Converts a PPM file to an EXR file in [0,1]. If the input is 8 bit per channel, the input is gamma corrected according to the PPM standard. Images which are 16 bit per pixel are treated as linear intensity values. This program works with the 48 bit per pixel PPM files output by the dcraw program for converting from raw pixel formats found on many digital cameras.
Billy Biggs <email@example.com>.