Index of /pub/opensuse/repositories/home:/geewass:/pharos/15.4/x86_64/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cert-zzuf-0.14-lp154.9.7.x86_64.rpm 737402023-Jan-24 09:59
cert-zzuf-devel-0.14-lp154.9.7.x86_64.rpm 1280482023-Jan-24 09:59
java-z3-4.12.1-lp154.2.1.x86_64.rpm 2678362023-Feb-24 03:43
libdemangle-devel-20200625-lp154.6.13.x86_64.rpm 158082023-Jan-21 08:45
libdemangle1-20200625-lp154.6.13.x86_64.rpm 1003122023-Jan-21 08:45
libyaml-cpp0_7-0.7.0-lp154.8.9.x86_64.rpm 1672122023-Jan-24 09:58
libyices2_6-2.6.4-lp154.4.3.x86_64.rpm 12488042022-Jul-05 22:01
libz3-4_12-4.12.1-lp154.2.1.x86_64.rpm 56764882023-Feb-24 03:43
libz3java-4.12.1-lp154.2.1.x86_64.rpm 1485802023-Feb-24 03:43
pharos-demangle-20200625-lp154.6.13.x86_64.rpm 451882023-Jan-21 08:45
python3-z3-4.12.1-lp154.2.1.x86_64.rpm 1861522023-Feb-24 03:43
rose-0.11.109.5-lp154.6.4.x86_64.rpm 237401002023-Jan-22 05:59
rose-devel-0.11.109.5-lp154.6.4.x86_64.rpm 33033402023-Jan-22 05:59
swi-prolog-9.0.4-lp154.2.1.x86_64.rpm 266002023-Apr-17 20:18
swi-prolog-demo-9.0.4-lp154.2.1.x86_64.rpm 92562023-Apr-17 20:18
swi-prolog-devel-9.0.4-lp154.2.1.x86_64.rpm 2139402023-Apr-17 20:18
swi-prolog-doc-9.0.4-lp154.2.1.x86_64.rpm 14796362023-Apr-17 20:18
swi-prolog-java-9.0.4-lp154.2.1.x86_64.rpm 451562023-Apr-17 20:18
swi-prolog-nox-9.0.4-lp154.2.1.x86_64.rpm 39503402023-Apr-17 20:18
swi-prolog-server-9.0.4-lp154.2.1.x86_64.rpm 230562023-Apr-17 20:18
swi-prolog-win-9.0.4-lp154.2.1.x86_64.rpm 1143762023-Apr-17 20:18
swi-prolog-x-9.0.4-lp154.2.1.x86_64.rpm 14731922023-Apr-17 20:18
xsb-3.8.0.9741-lp154.1.1.x86_64.rpm 72292762022-Jul-05 21:59
xsb-devel-3.8.0.9741-lp154.1.1.x86_64.rpm 3527322022-Jul-05 21:59
xsb-examples-3.8.0.9741-lp154.1.1.x86_64.rpm 2534122022-Jul-05 21:59
yaml-cpp-devel-0.7.0-lp154.8.9.x86_64.rpm 359602023-Jan-24 09:58
yices-devel-2.6.4-lp154.4.3.x86_64.rpm 10617162022-Jul-05 22:01
z3-4.12.1-lp154.2.1.x86_64.rpm 58260642023-Feb-24 03:43
z3-devel-4.12.1-lp154.2.1.x86_64.rpm 1819842023-Feb-24 03:43
This server can also be reached on the Tor network at
lysator7eknrfl47rlyxvgeamrv7ucefgrrlhk7rouv3sna25asetwid.onion
Information:
Data handling policy
The mirror administration can be reached at ftp-master (at) lysator.liu.se