rpms/why3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
124 commits 32 branches 0 tags 276 KiB
Commit graph

1 commit

Author SHA1 Message Date
Jerry James
d9fe992ded New upstream release. 
Add -proofgeneral subpackage.
Add desktop and AppData files.
 2019-10-29 08:23:16 -06:00