rpms/why3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The why3 rpms
115 commits 32 branches 0 tags 276 KiB
Find a file
Richard W.M. Jones acfebc1a45 +BR graphviz 
Previous build failed with:
ccomps -X smt-libv2.gen doc/generated/drivers-all.dot > doc/generated/drivers-smt.dot
/bin/sh: ccomps: command not found
2020-08-24 16:52:27 +01:00
.gitignore New upstream release. 2019-01-26 08:11:16 -07:00
sources Version 1.3.1. 2020-03-25 14:01:51 -06:00
why3.appdata.xml New upstream release. 2019-10-29 08:23:16 -06:00
why3.desktop New upstream release. 2019-10-29 08:23:16 -06:00
why3.rpmlintrc New upstream release. 2019-10-29 08:23:16 -06:00
why3.spec +BR graphviz 2020-08-24 16:52:27 +01:00