{"arch":"aarch64","code":"succeeded","errors":[],"id":219096375,"info":[],"package":"klee","project":"openSUSE:Backports:SLE-15-SP5","repository":"standard","rules":{"position-independent-executable-suggested":["AusweisApp2","EternalTerminal","PrusaSlicer","QMPlay2","RigelEngine","ShellCheck","afl","alex","brise","btop","c2hs","cabal-install","cabal-plan","cabal2spec","compleat","cpphs","cvise","darktable","ddrescueview","deepin-gir-generator","dhall-json","dhall-yaml","dynare","e3","fcitx5","fileb0x","fpc","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","hedgewars","hledger","hledger-interest","hledger-ui","hlint","hpack","hscolour","hspec-discover","hub","hydrogen","icebreaker","klee","kubernetes-pause","lazarus","ldc","leechcraft","libadlmidi","libcamera","libresprite","llvm13","llvm14","mage","mame","mednafen","minetest","mingw64-gcc:mingw64-cross-gcc","mingw64-gcc:mingw64-cross-gcc-bootstrap","minikube","mkvtoolnix","multus","nuspell","openlierox","openttd","pgloader","praat","qimgv","qsynth","rr","rspamd","sbcl","seidl","shake","shelltestrunner","strawberry","surgescript","syncthing","vectorscan","velociraptor","velociraptor-client","waybar","wine","xemacs","xmobar","xmonad","xournalpp","zig"],"shared-lib-calls-exit":["4store","4ti2","96BoardsGPIO","ART","Coin","Coin4","FreeCAD","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","ddcutil","dlt-viewer","dtkwidget","eatmydata","efl","elektra","exodusii","f2c","f2fs-tools","fastjet","fastjet-contrib","fcitx","fox16","fwknop","gammaray","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","ispc","itpp","java-11-openj9","java-17-openj9","kakasi","kdb","kdevelop5","kholidays","kinit","klatexformula","klee","konqueror","kopeninghours","kopete","kosmindoormap","krita","kseexpr","kst","kuserfeedback","lal","lalsimulation","lammps","lasem","ldc","legion","lemon","levmar","libGLC","libXbgi","libacars","libacars2","libayatana-indicator:gtk2","libayatana-indicator:gtk3","libblastrampoline","libbraiding","libcapi20","libcint","libcircle","libctl","libfplist","libgnomeprint","libheimdal","libhts","libindi","libkcompactdisc","libkrun","libmemcache","libodraw","libopenshot","liboqs","libpano","libpcd","libpgeasy","libphdi","libpreludedb","libqt5-qtwebkit","libredwg","librttopo","librubberband","libsharp","libspatialite","libsrtp2-linphone","libtermkey","libtracecmd","libtracefs","libvterm","libwebp2","libxc","libxfce4ui","limesuite","linbox","liquid-dsp","live555","lldpd","llvm13","llvm14","lrslib","lttoolbox","lua54","mailcommon","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","nextcloud-desktop","nfs-ganesha","nilfs-utils","nlopt:main","normaliz","notmuch","o2scl","occt","oce","ode","okular","openEMS","openbabel","openrct2","optee-client","ossim","piglit","plasma5-workspace","plib","plplot","pocketsphinx5","pocl","poco","poke","pplite","primecount","proj","projectM","psiconv","python-torch","python3-pyside2","qgis","qhull","qwtplot3d","radare2","raylib","readline6","renderdoc","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","sphinxbase5","spooles","spooles:openmpi","spooles:openmpi2","src_vipa","srecord","stellarsolver","stp","surgescript","svxlink","sword","thrift","tomoyo-tools","tree-sitter","trilinos:openmpi2","trilinos:openmpi4","trilinos:serial","udunits2","uim","upm","vamp-plugin-sdk","vips","voms","voro++","vtk","vtk:openmpi2","vtk:openmpi3","vtk:openmpi4","waltham","weston","wordnet","wv","xar","xbase","xbsql","xcfun","xdotool","xosd","xplayer","xrootd","xstereograph","z3","zopfli"]},"updated":"2026-07-11 03:14:10","warnings":["position-independent-executable-suggested","shared-lib-calls-exit"]}