Artifact hol88_2.02.19940316dfsg-5

changes_fields:
  Architecture: all arm64
  Binary: hol88 hol88-contrib-help hol88-contrib-source hol88-doc hol88-help hol88-library
    hol88-library-help hol88-library-source hol88-source
  Changed-By: Camm Maguire <camm@debian.org>
  Changes: |2-

     hol88 (2.02.19940316dfsg-5) unstable; urgency=medium
     .
       * build-dep latest gcl
  Checksums-Sha1:
  - name: hol88-contrib-help_2.02.19940316dfsg-5_all.deb
    sha1: 45a432e97b3a3f795d43b5556fd41402eac082ce
    size: '23444'
  - name: hol88-contrib-source_2.02.19940316dfsg-5_all.deb
    sha1: 5c2a1a81250359e68222dbd3283f476ad1273733
    size: '725520'
  - name: hol88-doc_2.02.19940316dfsg-5_all.deb
    sha1: b27f8c8ff23faf8ab82362259c90276ef3c49429
    size: '98240'
  - name: hol88-help_2.02.19940316dfsg-5_all.deb
    sha1: 1691e1a3d1fe8c98cda5d07ea9af7a6abcd96e94
    size: '209292'
  - name: hol88-library-help_2.02.19940316dfsg-5_all.deb
    sha1: 9e6a68d0f529912022d86316dc3764d90e7728a5
    size: '227748'
  - name: hol88-library-source_2.02.19940316dfsg-5_all.deb
    sha1: a2da9ae88a00c09f45a75142b94ff4cab95825c0
    size: '417084'
  - name: hol88-library_2.02.19940316dfsg-5_arm64.deb
    sha1: 8601064642bc27b94824722e023e0a32fcf0d32e
    size: '3875520'
  - name: hol88-source_2.02.19940316dfsg-5_all.deb
    sha1: 8a9cac46756ead5bfb379dd1f15e91beead846d8
    size: '294032'
  - name: hol88_2.02.19940316dfsg-5_arm64.buildinfo
    sha1: ff77313ee50370a83d30b7d1c288f849961059cb
    size: '12495'
  - name: hol88_2.02.19940316dfsg-5_arm64.deb
    sha1: 32c592816cd43d1cd88c1ff95925dd19c8cb7bc3
    size: '6066112'
  Checksums-Sha256:
  - name: hol88-contrib-help_2.02.19940316dfsg-5_all.deb
    sha256: a29a1e83249a967682bc80835ae80882796af06855acca74d26bb2c088e70c0f
    size: '23444'
  - name: hol88-contrib-source_2.02.19940316dfsg-5_all.deb
    sha256: d25eaae3a4919d1a9da9f38fc24dfc706a1b7bda515ce61fdb29f1a582a63e58
    size: '725520'
  - name: hol88-doc_2.02.19940316dfsg-5_all.deb
    sha256: e89c60afe0e29e2af2777fc84a64cf86d5cf81db38bd1c11955ca5f63718e14b
    size: '98240'
  - name: hol88-help_2.02.19940316dfsg-5_all.deb
    sha256: 04dc03039fec2460a4e662f901ea259e1056195d8e0dcc110746150acdcd4ee8
    size: '209292'
  - name: hol88-library-help_2.02.19940316dfsg-5_all.deb
    sha256: 83ee05974e62dbc6bc15738cc0bca938518de2bf6b56f9e9cf587cc038c321c9
    size: '227748'
  - name: hol88-library-source_2.02.19940316dfsg-5_all.deb
    sha256: 446e27359805ca3d9e203ba9db82e5e8892a435accd1b5e8df5dbc3984b080d4
    size: '417084'
  - name: hol88-library_2.02.19940316dfsg-5_arm64.deb
    sha256: ee95c058f841a9417098e741069e81a079ff011950bba9cb856cdd69b9bf29d5
    size: '3875520'
  - name: hol88-source_2.02.19940316dfsg-5_all.deb
    sha256: 9fad02f6badbb4258e13d92cd1b8713f894052ccd50f1dc60ec65f02483612aa
    size: '294032'
  - name: hol88_2.02.19940316dfsg-5_arm64.buildinfo
    sha256: b8df4f99575e84f57bb536398915ecd5863a4e8102efceb8c1589b7dd1b69743
    size: '12495'
  - name: hol88_2.02.19940316dfsg-5_arm64.deb
    sha256: a1b7342f7ea0ef5d7266c4b3c12df1623f4c14ff905a9584f18730b1141f3363
    size: '6066112'
  Date: Sun, 08 Jan 2023 17:11:46 -0500
  Description: |2-

     hol88      - Higher Order Logic, system image
     hol88-contrib-help - Higher Order Logic, user contributed online help files
     hol88-contrib-source - Higher Order Logic, user contributed source
     hol88-doc  - Documentation for hol88
     hol88-help - Higher Order Logic, online help files
     hol88-library - Higher Order Logic, binary library modules
     hol88-library-help - Higher Order Logic, library online help files
     hol88-library-source - Higher Order Logic, library source files
     hol88-source - Higher Order Logic, source files
  Distribution: sid
  Files:
  - md5sum: 1f4b7d998ac883dda702bb96595c3f83
    name: hol88-contrib-help_2.02.19940316dfsg-5_all.deb
    priority: optional
    section: math
    size: '23444'
  - md5sum: b3a739f2c95b2c4c96556a080f14172b
    name: hol88-contrib-source_2.02.19940316dfsg-5_all.deb
    priority: optional
    section: math
    size: '725520'
  - md5sum: 43f2d1af00b74753073a82e84d9758dd
    name: hol88-doc_2.02.19940316dfsg-5_all.deb
    priority: optional
    section: doc
    size: '98240'
  - md5sum: 13149c402b486edede2163284c6a62ee
    name: hol88-help_2.02.19940316dfsg-5_all.deb
    priority: optional
    section: math
    size: '209292'
  - md5sum: 2e76bef766713f7ddfe80641586b7d3f
    name: hol88-library-help_2.02.19940316dfsg-5_all.deb
    priority: optional
    section: math
    size: '227748'
  - md5sum: 59939b639d170e3323a4a5c396bc44ea
    name: hol88-library-source_2.02.19940316dfsg-5_all.deb
    priority: optional
    section: math
    size: '417084'
  - md5sum: f530fc3fa00fc179d0e88b88a260422e
    name: hol88-library_2.02.19940316dfsg-5_arm64.deb
    priority: optional
    section: math
    size: '3875520'
  - md5sum: 90e4ea2469ecdc42a9b5489552a1236a
    name: hol88-source_2.02.19940316dfsg-5_all.deb
    priority: optional
    section: math
    size: '294032'
  - md5sum: fc1cb4728f7489175ce7004b0b07af98
    name: hol88_2.02.19940316dfsg-5_arm64.buildinfo
    priority: optional
    section: math
    size: '12495'
  - md5sum: cbe170ce69d5effd2d962d1bd6a869c8
    name: hol88_2.02.19940316dfsg-5_arm64.deb
    priority: optional
    section: math
    size: '6066112'
  Format: '1.8'
  Maintainer: Camm Maguire <camm@debian.org>
  Source: hol88
  Urgency: medium
  Version: 2.02.19940316dfsg-5
type: dpkg