{ "name": "yices", "epoch": null, "version": "2.6.5", "release": "4", "exclusivearch": [], "excludearch": [ "i386", "i486", "i586", "i686", "pentium3", "pentium4", "athlon", "geode" ] }