Artifact | hol88-library-help_2.02.19940316dfsg-5_all |
---|---|
Category | debian:binary-package |
architecture: all
component: main
package: hol88-library-help
priority: optional
section: math
srcpkg_name: hol88
srcpkg_version: 2.02.19940316dfsg-5
version: 2.02.19940316dfsg-5