rpms/why3
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
why3/sources
Jerry James a3afebd1c0 Version 1.6.0 
Other changes:
- Enable inference with BDDs
- Add patch for coq 8.17 support
2023-07-10 22:53:10 -06:00

1 line
158 B
Text
Raw Blame History

SHA512 (why3-1.6.0.tar.gz) = 60d61b8337ab9f2fd2e6c7174eb0bab063f122417738cd75990c5c53120dd535bcedccb670567f5753853d6bc9f8efebb563d079e4d368372a7687193f1346b1
Reference in a new issue View git blame Copy permalink