{"arch":"s390x","code":"succeeded","errors":[],"id":219120189,"info":[],"package":"klee","project":"openSUSE:Backports:SLE-15-SP5","repository":"standard","rules":{"position-independent-executable-suggested":["AusweisApp2","CalcMySky","PrusaSlicer","QMPlay2","RigelEngine","ShellCheck","afl","alex","brise","btop","c2hs","cabal-install","cabal-plan","cabal2spec","compleat","cpphs","cvise","deepin-gir-generator","dhall-json","dhall-yaml","dynare","e3","fcitx5","fileb0x","fs-uae","gdcm","gebaar-libinput","ghc-DAV","ghc-bech32","ghc-bootstrap","ghc-clientsession","ghc-criterion","ghc-dhall","ghc-distribution-opensuse","ghc-hjsmin","ghc-mustache","ghc-netlink","ghc-servant-server","ghc-vty","ghc-wai-app-static","ghc-weeder","ghc-zip","ghcid","giada","git-annex","gn","gnome-commander","hledger","hledger-interest","hledger-ui","hlint","hpack","hscolour","hspec-discover","hub","hydrogen","icebreaker","java-11-openj9","java-17-openj9","klee","kubernetes-pause","libadlmidi","libcamera","libresprite","llvm13","llvm14","mage","mame","mednafen","mingw64-gcc:mingw64-cross-gcc","mingw64-gcc:mingw64-cross-gcc-bootstrap","mkvtoolnix","multus","nuspell","openlierox","openttd","praat","qsynth","restic","rspamd","seidl","shake","shelltestrunner","strawberry","surgescript","syncthing","velociraptor","velociraptor-client","waybar","xemacs","xmobar","xmonad","xournalpp"],"shared-lib-calls-exit":["4store","4ti2","ART","Coin","Coin4","MyGUI","OpenImageIO","OpenShadingLanguage","QCSXCAD","QtAV","Rivet","SimGear","SoQt","VFlib3","VirtualGL","a2ps","abiword","adms","akonadi-server","amarok","anjuta","antlr3c","apfel","arprec","assimp","autotrace","avrdude","bcunit","belle-sip","benchmark","bliss","budgie-desktop","buzztrax","calc","casacore","casacore:openmpi2","casacore:openmpi3","casacore:openmpi4","cdk","cervisia","cfitsio","cgal","cgns","chasen","cjs","clFFT","cm","codec2","coin-or-Cbc","coin-or-Cgl","coin-or-Clp","coin-or-Osi","colm","csound","cxsc","dSFMT","dcmtk","dlt-viewer","dtkwidget","eatmydata","efl","elektra","exodusii","f2c","f2fs-tools","fastjet","fastjet-contrib","fcitx","fox16","fwknop","gasnet","gdcm","geany","gerbv","gflags","ggz","giblib","gmp-ecm","gnuastro","gnumeric","gnuradio","grass","gromacs:openmpi","gromacs:serial","gsequencer","gstreamer-devtools","gstreamer-editing-services","guvcview","hamlib","harminv","hdf","healpix","hercules","hfst","htmlcxx","httrack","hypre:mpich","hypre:mvapich2","hypre:openmpi2","hypre:openmpi3","hypre:openmpi4","hypre:serial","idzebra","iec16022","iml","indi","insighttoolkit","iodbc","ip2unix","ipmiutil","itpp","java-11-openj9","java-17-openj9","kakasi","kdb","kholidays","kinit","klatexformula","klee","kopeninghours","kopete","kosmindoormap","krita","kseexpr","kst","kuserfeedback","lal","lasem","lemon","levmar","libGLC","libXbgi","libacars","libacars2","libayatana-indicator:gtk2","libayatana-indicator:gtk3","libbraiding","libcapi20","libcint","libcircle","libctl","libfplist","libgnomeprint","libheimdal","libhts","libindi","libkcompactdisc","libmemcache","libodraw","libopenshot","liboqs","libpano","libpcd","libpgeasy","libphdi","libpreludedb","libqt5-qtwebkit","libredwg","librttopo","librubberband","libsharp","libspatialite","libsrtp2-linphone","libtermkey","libtracecmd","libtracefs","libvterm","libxc","libxfce4ui","limesuite","linbox","liquid-dsp","live555","lldpd","llvm13","llvm14","lrslib","lttoolbox","lua54","marco","mate-control-center","mathgl","matio","mdbtools","med-tools","metaio","mimic","minisat","modsecurity","mosquitto","movit","mpfrcx","mumps:mvapich2","mumps:openmpi2","mumps:openmpi3","mumps:openmpi4","mumps:scotch-openmpi2","mumps:scotch-serial","mumps:serial","muparser","muparserx","nauty","ndpi","netcdf-cxx","nilfs-utils","nlopt:main","normaliz","notmuch","o2scl","occt","oce","ode","okular","openEMS","openbabel","optee-client","ossim","piglit","plib","plplot","poco","poke","pplite","primecount","proj","projectM","psiconv","qhull","qwtplot3d","radare2","raylib","readline6","rhythmbox","rocs","rosegarden","scalapack:mvapich2","scalapack:openmpi2","scalapack:openmpi3","scalapack:openmpi4","scotch:mpich","scotch:mvapich2","scotch:openmpi2","scotch:openmpi3","scotch:openmpi4","scotch:serial","simtrace2","singular","sispmctl","smpeg","snack","sonivox","sox","sphinxbase","spooles","spooles:openmpi","spooles:openmpi2","src_vipa","srecord","stellarsolver","stp","surgescript","svxlink","sword","thrift","tomoyo-tools","tree-sitter","udunits2","uim","vamp-plugin-sdk","vips","voms","voro++","vtk","waltham","weston","wordnet","wv","xar","xbase","xbsql","xcfun","xdotool","xosd","xplayer","xrootd","xstereograph","z3","zopfli"]},"updated":"2026-07-11 03:52:13","warnings":["position-independent-executable-suggested","shared-lib-calls-exit"]}