Packages / openSUSE Tumbleweed / Source / Productivity/Scientific/Math / gap-walrus

Source Package: gap-walrus (0.9992-1.2)

GAP: Proving assistant for hyperbolicity

The following binary packages are built from this source package:

  • gap-walrus

    GAP: Proving assistant for hyperbolicity

Known vulnerabilities

No matching advisories in the tracked sources.

Last synced:

[CVE catalog]

Sources

  • openSUSE Tumbleweed OSSSep 1, 2026

    Authoritative source; repository metadata signature verified

    Signature evidence

    tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

    Repository-signature verification record
    Signed-object SHA-256
    4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f
    Signer fingerprint
    AD485664E901B867051AB15F35A2F86E29B700A4
    Keyring revision
    opensuse-project-signing-key.asc
    SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable