| Site | Filename | Distribution | File size |
| ftp.icm.edu.pl | why3-examples-1.7.2-8.fc41.noarch.rpm | Rawhide | 4485962 |
| ftp.icm.edu.pl | why3-examples-1.7.2-8.fc41.noarch.rpm | Rawhide | 4485962 |
| ftp.icm.edu.pl | why3-examples-1.7.2-8.fc41.noarch.rpm | Rawhide | 4485962 |
| ftp.icm.edu.pl | why3-examples-1.7.2-8.fc41.noarch.rpm | Rawhide | 4485962 |
