rpms/yices
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The yices package
3 commits 21 branches 0 tags 72 KiB
Find a file
Exact
Fedora Release Engineering f08e463574 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-02-09 22:17:25 +00:00
.gitignore Initial import. 2018-01-03 17:57:27 -07:00
sources Initial import. 2018-01-03 17:57:27 -07:00
yices.spec - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 2018-02-09 22:17:25 +00:00