architecture: all component: main package: smlnj-doc priority: optional section: doc srcpkg_name: smlnj srcpkg_version: 110.79-8 version: 110.79-8