{ "name": "ocaml-psmt2-frontend", "epoch": null, "version": "0.4.0", "release": "21", "exclusivearch": [], "excludearch": [ "i386", "i486", "i586", "i686", "pentium3", "pentium4", "athlon", "geode" ] }