If you have a server with some space left, and want to help with making the openSUSE experience better for other users, become a mirror!
This is the download area of the openSUSE distributions and the openSUSE Build Service. If you are searching for a specific package for your distribution, we recommend to use our Software Portal instead.
![[ICO]](/theme/icons/blank.svg){kind=icon} | Name | Last modified | Size | Metadata |
|---|---|---|---|---|
![[DIR]](/theme/icons/up.svg){kind=icon} | Parent Directory | - | ||
![[ ]](/theme/icons/package.svg){kind=icon} | cbmc-5.56.0-lp154.1.9.src.rpm | 22-Jun-2022 16:12 | 7.8M | Details |
| cil-1.7.3-lp154.5.10.src.rpm | 22-Jun-2022 15:43 | 1.8M | Details |
| complexity-1.10-lp154.17.36.src.rpm | 22-Jun-2022 15:47 | 424K | Details |
| klee-2.3+20220506-lp154.111.8.src.rpm | 22-Jun-2022 15:53 | 810K | Details |
| klee-uclibc-1.3-lp154.55.10.src.rpm | 22-Jun-2022 15:41 | 3.0M | Details |
| ltl2ba-1.3-lp154.1.9.src.rpm | 22-Jun-2022 15:49 | 48K | Details |
| mergesat-3.3.0-lp154.3.10.src.rpm | 22-Jun-2022 15:43 | 249K | Details |
| metasmt-0.0+20191203-lp154.2.25.src.rpm | 22-Jun-2022 16:09 | 134K | Details |
| minisat-2.2.1+20200902-lp154.11.54.src.rpm | 22-Jun-2022 15:41 | 56K | Details |
| pmccabe-2.8-lp154.3.33.src.rpm | 22-Jun-2022 15:41 | 75K | Details |
| smatch-1.72+20220506-lp154.25.9.src.rpm | 22-Jun-2022 15:45 | 1.0M | Details |
| sparse-0.6.4-lp154.46.64.src.rpm | 22-Jun-2022 15:47 | 393K | Details |
| stp-2.3.3+20220507-lp154.34.7.src.rpm | 22-Jun-2022 15:47 | 2.1M | Details |
| z3-4.8.17-lp154.79.9.src.rpm | 22-Jun-2022 16:04 | 5.1M | Details |