architecture: amd64 component: main package: libmlrisctools-smlnj priority: optional section: devel srcpkg_name: smlnj srcpkg_version: 110.79-8 version: 110.79-8