Artifact gappa_1.4.1-1_amd64

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.2.1+dfsg1), libmpfr6
    (>= 3.1.3), libstdc++6 (>= 11), libjs-sphinxdoc (>= 4.3)
  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: '1456'
  Maintainer: Debian Math Team <team+math@tracker.debian.org>
  Package: gappa
  Priority: optional
  Section: math
  Version: 1.4.1-1
srcpkg_name: gappa
srcpkg_version: 1.4.1-1