| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| why3-all-1.8.1-1.fc42.x86_64.rpm | 9649 | 2025-Jun-09 23:01 |
| why3-proofgeneral-1.8.1-1.fc42.noarch.rpm | 13484 | 2025-Jun-09 23:01 |
| why3-emacs-1.8.1-1.fc42.noarch.rpm | 13817 | 2025-Jun-09 23:01 |
| whichfont-2.3.0-1.fc42.x86_64.rpm | 34318 | 2025-Jun-11 11:43 |
| wxsqlite3-devel-4.10.8-1.fc42.i686.rpm | 39362 | 2025-Jun-07 13:55 |
| wxsqlite3-devel-4.10.8-1.fc42.x86_64.rpm | 39437 | 2025-Jun-07 13:55 |
| wxsqlite3-doc-4.10.8-1.fc42.noarch.rpm | 318824 | 2025-Jun-07 13:55 |
| wxsqlite3-4.10.8-1.fc42.x86_64.rpm | 1039342 | 2025-Jun-07 13:55 |
| wxsqlite3-4.10.8-1.fc42.i686.rpm | 1114393 | 2025-Jun-07 13:55 |
| why3-examples-1.8.1-1.fc42.noarch.rpm | 4751809 | 2025-Jun-09 23:01 |
| why3-1.8.1-1.fc42.x86_64.rpm | 13992910 | 2025-Jun-09 23:01 |