Index of /repositories/devel:/tools:/statica/openSUSE_Tumbleweed/aarch64/


../
cbmc-5.85.0-1.43.aarch64.rpm                       29-Mar-2025 16:00            15394921
complexity-1.13-19.22.aarch64.rpm                  29-Mar-2025 14:55               67293
klee-3.1+20250106-149.7.aarch64.rpm                29-Mar-2025 15:07              670526
libmergesat2-3.3.0-3.88.aarch64.rpm                29-Mar-2025 14:55              139677
libmetaSMT4_0-0.0+20191203-5.3.aarch64.rpm         29-Mar-2025 15:37               41397
libminisat2-2.2.1+20200902-17.76.aarch64.rpm       29-Mar-2025 14:55               47284
libstp2_3-2.3.4+20240918-53.2.aarch64.rpm          29-Mar-2025 15:02              817374
libz3-4_13-4.13.3-1.2.aarch64.rpm                  29-Mar-2025 15:36             6452838
ltl2ba-1.3-1.73.aarch64.rpm                        29-Mar-2025 14:57               43461
mergesat-3.3.0-3.88.aarch64.rpm                    29-Mar-2025 14:55               32203
mergesat-devel-3.3.0-3.88.aarch64.rpm              29-Mar-2025 14:55               63677
metasmt-0.0+20191203-5.3.aarch64.rpm               29-Mar-2025 15:37               43007
metasmt-devel-0.0+20191203-5.3.aarch64.rpm         29-Mar-2025 15:37               87251
minisat-2.2.1+20200902-17.76.aarch64.rpm           29-Mar-2025 14:55               23251
minisat-devel-2.2.1+20200902-17.76.aarch64.rpm     29-Mar-2025 14:55               35890
pmccabe-2.8-3.70.aarch64.rpm                       29-Mar-2025 14:55               41663
smatch-1.73+20240222-29.27.aarch64.rpm             29-Mar-2025 14:59             1099310
sparse-0.6.4+20240203-55.28.aarch64.rpm            29-Mar-2025 14:56              338631
sparse-inspect-0.6.4+20240203-55.28.aarch64.rpm    29-Mar-2025 14:56              158674
stp-2.3.4+20240918-53.2.aarch64.rpm                29-Mar-2025 15:02               64154
stp-devel-2.3.4+20240918-53.2.aarch64.rpm          29-Mar-2025 15:02               28327
z3-4.13.3-1.2.aarch64.rpm                          29-Mar-2025 15:36             6574092
z3-devel-4.13.3-1.2.aarch64.rpm                    29-Mar-2025 15:36              101837