cvc5-1.0.8-1.fc39 in Fedora 39

↵ Return to the main page of cvc5
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date	Author	Change
2023-09-15	Jerry James <loganjerry at gmail dot com> - 1.0.8-1	- Version 1.0.8 - Remove dependency on antlr3 - Drop upstreamed patches: antlr3, toml, vec
2023-08-09	Jerry James <loganjerry at gmail dot com> - 1.0.5-3	- Build with yosyshq-abc instead of abc
2023-07-29	Jerry James <loganjerry at gmail dot com> - 1.0.5-1	- Initial RPM

Dependencies

Provides

bundled(minisat2)
cvc5
cvc5(x86-64)

Files

usr/
- bin/
  - cvc5
- lib/
  - .build-id/
    - e5/
      - 26630963456383c16d7498aa0574780de78cd5
- share/
  - doc/
    - cvc5/
      - AUTHORS
      - NEWS.md
      - README.md
      - THANKS

Sources on Pagure