Artifact gappa_1.4.1-2+b1_arm64

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: arm64
  Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.3.0+dfsg), libmpfr6
    (>= 3.1.3), libstdc++6 (>= 14), libjs-sphinxdoc (>= 7.4)
  Description: |-
    Automatic generation of proofs of arithmetic properties
     Tool to help verify and prove properties on numerical
     programs dealing with either fixed-point or floating-point
     arithmetic.
  Homepage: https://gappa.gitlabpages.inria.fr
  Installed-Size: '1479'
  Maintainer: Debian Math Team <team+math@tracker.debian.org>
  Package: gappa
  Priority: optional
  Section: math
  Source: gappa (1.4.1-2)
  Version: 1.4.1-2+b1
srcpkg_name: gappa
srcpkg_version: 1.4.1-2