Sisyphus repository
Last update: 2018-10-20 23:10:32 +0400 | SRPMs: 18683 | Sign in or Sign up
en ru uk br
ALT Linux repositories
hide window
Sisyphus: 0.9-alt3
p8: 0.9-alt1

Group :: Sciences/Mathematics
Source RPM: ddcal

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR (0/0)   Repocop 

Current version: 0.9-alt3
Built: about 2 months ago
Size: 20.2 KB
Repocop status: ok

Home page:   http://vlsi.colorado.edu/vlsi_downloads.html

License: BSD
Summary: BDD calculator based on CUDD
Description:

DDcal is a BDD calculator based on perl-Tk and the Cudd package.

Current maintainer: Vladislav Zavjalov

List of contributors: ACL: List of rpms provided by this srpm:
  • ddcal
  • ddcal-debuginfo
Recent changes (last three changelog entries):

2018-09-04 Vladislav Zavjalov <slazav at altlinux.org> 0.9-alt3

    - fix building

2018-08-12 Vladislav Zavjalov <slazav at altlinux.org> 0.9-alt2

    - fix building with make -jN

2015-03-16 Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 0.9-alt1

    - Initial build for Sisyphus

 
© 2009–2018 Igor Zubkov