lua-clingo-5.5.0-150400.4.3.3 < > , ( dp9| O`kn}őx+'D|E- d5ZK4zgxRP g%EX7uWOLgfk[#3htm51hftx PݾGcS=u6 ˼E&4>+X@4Û8)RYnnͧo2TX`sTzJtcTv/. tϟ91+ˮy. 'h-SŘRI|gbV
jFFR}A;% > > X ? H d
8 % F J ` x
$ ( H y ( 8 9 : F a G t H x I | X Y \ ] ^ b c { d e f l u v w x y
z D C lua-clingo 5.5.0 150400.4.3.3 Lua bindings for Clingo Lua bindings for Clingo, a grounder and solver for logic programs.
Detailed information (including a User's manual), source code, and pre-compiled
binaries are available at: http://potassco.org/ dgoat36 hSUSE Linux Enterprise 15 SUSE LLC MIT https://www.suse.com/ Development/Tools/Other https://potassco.org/clingo/ linux x86_64 h daa6029f62c9ace45a1889b448484ce0c90aa8c09762bd0a15a5414e4605d4273 root root clingo-5.5.0-150400.4.3.3.src.rpm lua-clingo lua-clingo(x86-64) @ @ @ @ @ @ @ @ @ @ @ @ @
clingo libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libclingo.so.4()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) liblua5.3.so.5()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rpmlib(CompressedFileNames) rpmlib(FileDigests) rpmlib(PayloadFilesHavePrefix) rpmlib(PayloadIsXz) 5.5.0-150400.4.3.3 3.0.4-1 4.6.0-1 4.0-1 5.2-1 4.14.3 d@a@a@@aTU@aTU@eich@suse.com cgoll@suse.com aginies@suse.com aginies@suse.com aginies@suse.com - Fix python-cffi dependency in python-clingo (bsc#1212554). - added python-cffi as Requires (boo#1193712) - create a sub lib package - fix some build errors, remove unwanted files
- update to version 5.5.0
- clingo is used by default for spack version >= 0.17 (JSC#SLE-22137) - first release for SUSE (from fedora spec) goat36 1687415986 5.5.0-150400.4.3.3 5.5.0-150400.4.3.3 clingo.so /usr/lib64/lua/5.3/ -fmessage-length=0 -grecord-gcc-switches -O2 -Wall -D_FORTIFY_SOURCE=2 -fstack-protector-strong -funwind-tables -fasynchronous-unwind-tables -fstack-clash-protection -g obs://build.suse.de/SUSE:Maintenance:29323/SUSE_SLE-15-SP4_Update/f7764af6ee17a86442028ce8259da9b6-clingo.SUSE_SLE-15-SP4_Update drpm xz 5 x86_64-suse-linux ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, BuildID[sha1]=7b48ad934ff2d1f25b60cbeaa766deecc3d8cbb1, stripped
R R R R
R
R R R R R R R R xц&m}Gԙ utf-8 69421e41f6eddeab51564007e055748a30bcf42c089bc4d41166afc047822dfa ? 7zXZ
! t/] "k%{UvK,b)j(^|v0ũu4L# ߱5E XPb%zk8LL =$(q,t K-Q: d|bNqC 4伈j-f ȏ~H(vo6=ݹ_ ,3B\U"4 ryRw,A\s]f)<ХTC3t,UG_N` j@䴖UZPF=Nܻ~f@q(BE_)l"'` W8g<>k jiE/Y
ݯVϩ uѳ5Du¡LBr2a047]F_l4NSxt D ,my1!qt1{&?])ah+hd@rVL+Ƨ6cd^Kuf l慫=aз8o* iV.Y>칠` Ej>X<ڝ^
Z|&0=GHᗫS&*Jea=vUYgcB4*p Ml-Z o0$} R ܾ5[z :Jˋ͉*
/ wa1
YZ