FTP server ftp.linux.cz
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size | Description |
|---|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | ||
![[DIR]](/icons/folder.gif){kind=icon} | diagrams/ | 2002-12-17 21:13 | - | |
| proofs/ | 2006-06-05 17:13 | - | |
| soul/ | 2023-02-18 21:58 | - | |
![[ ]](/icons/compressed.gif){kind=icon} | soul.zip | 2023-02-18 21:58 | 347K |
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| diagrams/ | 2002-12-17 21:13 | - | |
| proofs/ | 2006-06-05 17:13 | - | |
| soul/ | 2023-02-18 21:58 | - | |
| soul.zip | 2023-02-18 21:58 | 347K |