Package cryptominisat

Welcome to the future! This package does not support Python 2 at all. All is good in the world.


See cryptominisat in the Fedora Pagure, or go directly to the corresponding spec file.

RPMs

  • cryptominisat-5.7.1-4.fc33.src
    • python3-devel
    • python3-devel = 3.9.0-1.fc34
  • python3-cryptominisat-5.7.1-4.fc33.x86_64
    • python(abi) = 3.9

Maintainers