| Artifact | hol88-library_2.02.19940316dfsg-5+b1_arm64 |
|---|---|
| Category | debian:binary-package |
architecture: arm64
component: main
package: hol88-library
priority: optional
section: math
srcpkg_name: hol88
srcpkg_version: 2.02.19940316dfsg-5
version: 2.02.19940316dfsg-5+b1