Package ddcal: Information

    Source package: ddcal
    Version: 0.9-alt5
    Build time:  Oct 23, 2023, 12:37 PM
    Report package bug
    License: BSD
    Summary: BDD calculator based on CUDD
    Description: 
    DDcal is a BDD calculator based on perl-Tk and the Cudd package.

    List of rpms provided by this srpm:
    ddcal (loongarch64)
    ddcal-debuginfo (loongarch64)

    Maintainer: Vladislav Zavjalov


      1. libcudd-devel
      2. perl-Tk
      3. graphviz
      4. rpm-macros-make
      5. flex

    Last changed


    Dec. 10, 2020 Vladislav Zavjalov 0.9-alt5
    - fix multiple definition error (for gcc-10)
    Oct. 3, 2019 Vladislav Zavjalov 0.9-alt4
    - fix building
    Sept. 4, 2018 Vladislav Zavjalov 0.9-alt3
    - fix building