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-1.4.src.rpm | 28-May-2022 00:30 | 7.8M | Details |
| complexity-1.10-17.8.src.rpm | 28-May-2022 00:12 | 424K | Details |
| klee-2.3+20220506-111.4.src.rpm | 28-May-2022 00:34 | 811K | Details |
| ltl2ba-1.3-1.4.src.rpm | 28-May-2022 00:14 | 48K | Details |
| metasmt-0.0+20191203-2.9.src.rpm | 28-May-2022 00:55 | 135K | Details |
| minisat-2.2.1+20200902-11.8.src.rpm | 27-May-2022 23:07 | 56K | Details |
| pmccabe-2.8-3.11.src.rpm | 27-May-2022 23:43 | 75K | Details |
| smatch-1.72+20220506-25.5.src.rpm | 28-May-2022 00:04 | 1.0M | Details |
| sparse-0.6.4-46.10.src.rpm | 26-May-2022 21:38 | 393K | Details |
| stp-2.3.3+20220507-34.5.src.rpm | 16-Jun-2022 04:07 | 2.1M | Details |
| z3-4.8.17-79.6.src.rpm | 16-Jun-2022 05:35 | 5.1M | Details |