rpms/coco-coq
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The coco-coq rpms
42 commits 42 branches 21 tags 71 KiB
  • C 94.4%
  • Shell 5.6%
Find a file
Exact
Fedora Release Engineering eb01212711 Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
2026-07-15 20:59:58 +00:00
.gitignore dist-git conversion 2010-07-28 11:54:47 +00:00
coco-coq-LICENSE.fedora Initial import. 2007-07-08 12:31:22 +00:00
coco-coq-wrapper.sh Initial import. 2007-07-08 12:31:22 +00:00
coco-coq.desktop Initial import. 2007-07-08 12:31:22 +00:00
coco-coq.spec Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild 2026-07-15 20:59:58 +00:00
coco-coq.xpm Initial import. 2007-07-08 12:31:22 +00:00
sources Initial import. 2007-07-08 12:31:22 +00:00